Menu cleanup.
authorKai Grossjohann <kgrossjo@eu.uu.net>
Sun, 19 Aug 2001 23:32:39 +0000 (23:32 +0000)
committerKai Grossjohann <kgrossjo@eu.uu.net>
Sun, 19 Aug 2001 23:32:39 +0000 (23:32 +0000)
texi/gnus.texi

index 4cb7e8b..0876a6f 100644 (file)
@@ -5096,9 +5096,6 @@ In addition, you also have marks that do not affect readedness.
 * Unread Articles::             Marks for unread articles.
 * Read Articles::               Marks for read articles.
 * Other Marks::                 Marks that do not affect readedness.
-* Setting Marks::               
-* Generic Marking Commands::    
-* Setting Process Marks::       
 @end menu
 
 @ifinfo