# HG changeset patch
# User Juri Linkov <juri@jurta.org>
# Date 1079940314 0
# Node ID 3264fbd6f6f539b1d9a7c7dc669a41ca0023c898
# Parent  6f6d287fe506ee00d72ed2b9b34afa19f4a8da9e
(Completion): Add description for menu items.

diff -r 6f6d287fe506 -r 3264fbd6f6f5 man/mini.texi
--- a/man/mini.texi	Mon Mar 22 07:24:46 2004 +0000
+++ b/man/mini.texi	Mon Mar 22 07:25:14 2004 +0000
@@ -206,10 +206,10 @@
 case does not matter.
 
 @menu
-* Example: Completion Example.
-* Commands: Completion Commands.
-* Strict Completion::
-* Options: Completion Options.
+* Example: Completion Example.    Examples of using completion.
+* Commands: Completion Commands.  A list of completion commands.
+* Strict Completion::             Different types of completion.
+* Options: Completion Options.    Options for completion.
 @end menu
 
 @node Completion Example