diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/tools.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools.texi b/doc/tools.texi index 9fc735e4f..4427ffe56 100644 --- a/doc/tools.texi +++ b/doc/tools.texi @@ -1542,7 +1542,7 @@ abbreviate this command. @item --help, -h @opindex help Print a usage message summarizing the most useful command-line options. -Note that you cannot abbreviate this command. +Note that you can abbreviate this command. @item --quiet, -q @opindex quiet |