aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--man/mini.texi8
1 files changed, 4 insertions, 4 deletions
diff --git a/man/mini.texi b/man/mini.texi
index 1022424f3de..040306ba041 100644
--- a/man/mini.texi
+++ b/man/mini.texi
@@ -206,10 +206,10 @@ Completion does ignore case distinctions for certain arguments in which
206case does not matter. 206case does not matter.
207 207
208@menu 208@menu
209* Example: Completion Example. 209* Example: Completion Example. Examples of using completion.
210* Commands: Completion Commands. 210* Commands: Completion Commands. A list of completion commands.
211* Strict Completion:: 211* Strict Completion:: Different types of completion.
212* Options: Completion Options. 212* Options: Completion Options. Options for completion.
213@end menu 213@end menu
214 214
215@node Completion Example 215@node Completion Example