[gnome-dictionary] help: No more 'Dictionary' menu bar item

[Andre Klapper <aklapper src gnome org>]

commit e4e9351b7f489dfffca51205055899707ed8307d
Author: Andre Klapper <a9016009 gmx de>
Date:   Mon Aug 9 16:20:17 2021 +0200

    help: No more 'Dictionary' menu bar item

 help/C/print-font.page     | 9 ++++++---
 help/C/sources-delete.page | 8 +++++---
 help/C/sources-edit.page   | 8 +++++---
 3 files changed, 16 insertions(+), 9 deletions(-)
---
diff --git a/help/C/print-font.page b/help/C/print-font.page
index 68690c7..34141dc 100644
--- a/help/C/print-font.page
+++ b/help/C/print-font.page
@@ -4,6 +4,7 @@
 
   <info>
     <revision pkgversion="3.6" version="0.1" date="2013-03-29" status="candidate"/>
+    <revision pkgversion="40.0" version="0.2" date="2021-08-09" status="candidate"/>
     <link type="guide" xref="index#preferences"/>
     <link type="guide" xref="pref"/>
 
@@ -32,9 +33,11 @@
   <steps>
     <title>Change the font</title>
     <item>
-      <p>Select <guiseq><gui style="menu">Dictionary</gui>
-      <gui style="menuitem">Preferences</gui>
-      <gui style="tab">Print</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Preferences</gui>.</p>
+    </item>
+    <item>
+      <p>Select <gui style="tab">Print</gui>.</p>
     </item>
     <item>
       <p>Click font selector button.</p>
diff --git a/help/C/sources-delete.page b/help/C/sources-delete.page
index e25b327..74bcaf5 100644
--- a/help/C/sources-delete.page
+++ b/help/C/sources-delete.page
@@ -31,9 +31,11 @@
   <steps>
     <title>Delete a dictionary source:</title>
     <item>
-      <p>Select <guiseq><gui style="menu"><app>Dictionary</app></gui>
-      <gui style="menuitem">Preferences</gui>
-      <gui style="tab">Source</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and
+      select <gui style="menuitem">Preferences</gui>.</p>
+    </item>
+    <item>
+      <p>Select <gui style="tab">Source</gui>.</p>
     </item>
     <item>
       <p>Select the dictionary source that you want to delete.</p>
diff --git a/help/C/sources-edit.page b/help/C/sources-edit.page
index 3e51a20..1463e60 100644
--- a/help/C/sources-edit.page
+++ b/help/C/sources-edit.page
@@ -29,9 +29,11 @@
   <steps>
     <title>To edit a dictionary source:</title>
     <item>
-      <p>Select <guiseq><gui style="menu">Dictionary</gui>
-      <gui style="menuitem">Preferences</gui>
-      <gui style="tab">Source</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and
+      select <gui style="menuitem">Preferences</gui>.</p>
+    </item>
+    <item>
+      <p>Select <gui style="tab">Source</gui>.</p>
     </item>
     <item>
       <p>Double click on the dictionary source you want to edit.</p>