diff options
| -rw-r--r-- | doc/index.but | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/index.but b/doc/index.but index 485bb8d..cb2da7a 100644 --- a/doc/index.but +++ b/doc/index.but @@ -587,8 +587,12 @@ directive \IM{--whlp} \c{--whlp} command-line option \IM{--hlp} \c{--hlp} command-line option \IM{--man} \c{--man} command-line option -\IM{--input-charset} \c{--input-charset} 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{-C} \c{-C} command-line option +\IM{--input-charset} \c{--input-charset} command-line option +\IM{--list-charsets} \c{--list-charsets} command-line option \IM{--help} \c{--help} command-line option \IM{--version} \c{--version} command-line option \IM{--licence} \c{--licence} command-line option |