(Completion): Add description for menu items.

diff --git a/man/mini.texi b/man/mini.texi
index 1022424f3de6c11d8a6c490858d68a2f54468fec..040306ba041b629e5670068abe78e66c8c5c6cb9 100644 (file)
--- a/man/mini.texi
+++ b/man/mini.texi
@@ -206,10 +206,10 @@ Completion does ignore case distinctions for certain arguments in which
 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