diff options
| -rw-r--r-- | man/mini.texi | 8 |
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 | |||
| 206 | case does not matter. | 206 | case 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 |