# HG changeset patch
# User Juri Linkov <juri@jurta.org>
# Date 1097370982 0
# Node ID 493353b15b0e6d7901ee50b70c0ff0746575fcff
# Parent  4f9c4f26ff59a3af365076365c32a7ca01e056bf
(Top, Marking Articles): Join two menus in one node
because a node can have only one menu.

diff -r 4f9c4f26ff59 -r 493353b15b0e man/gnus.texi
--- a/man/gnus.texi	Sun Oct 10 01:12:19 2004 +0000
+++ b/man/gnus.texi	Sun Oct 10 01:16:22 2004 +0000
@@ -535,12 +535,9 @@
 * Unread Articles::             Marks for unread articles.
 * Read Articles::               Marks for read articles.
 * Other Marks::                 Marks that do not affect readedness.
-
-Marking Articles
-
-* Setting Marks::             How to set and remove marks.
-* Generic Marking Commands::  How to customize the marking.
-* Setting Process Marks::     How to mark articles for later processing.
+* Setting Marks::               How to set and remove marks.
+* Generic Marking Commands::    How to customize the marking.
+* Setting Process Marks::       How to mark articles for later processing.
 
 Threading
 
@@ -5686,20 +5683,17 @@
 
 In addition, you also have marks that do not affect readedness.
 
+@ifinfo
+There's a plethora of commands for manipulating these marks.
+@end ifinfo
+
 @menu
 * Unread Articles::             Marks for unread articles.
 * Read Articles::               Marks for read articles.
 * Other Marks::                 Marks that do not affect readedness.
-@end menu
-
-@ifinfo
-There's a plethora of commands for manipulating these marks:
-@end ifinfo
-
-@menu
-* Setting Marks::             How to set and remove marks.
-* Generic Marking Commands::  How to customize the marking.
-* Setting Process Marks::     How to mark articles for later processing.
+* Setting Marks::               How to set and remove marks.
+* Generic Marking Commands::    How to customize the marking.
+* Setting Process Marks::       How to mark articles for later processing.
 @end menu