diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.but | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/index.but b/doc/index.but index cb2da7a..239a270 100644 --- a/doc/index.but +++ b/doc/index.but @@ -587,9 +587,9 @@ directive \IM{--whlp} \c{--whlp} command-line option \IM{--hlp} \c{--hlp} command-line option \IM{--man} \c{--man} command-line option -\IM{--info} \c{--info} cominfod-line option -\IM{--ps} \c{--ps} compsd-line option -\IM{--pdf} \c{--pdf} compdfd-line option +\IM{--info} \c{--info} command-line option +\IM{--ps} \c{--ps} command-line option +\IM{--pdf} \c{--pdf} command-line option \IM{-C} \c{-C} command-line option \IM{--input-charset} \c{--input-charset} command-line option \IM{--list-charsets} \c{--list-charsets} command-line option |