diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2005-02-18 00:16:33 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2005-02-18 00:16:33 +0000 |
| commit | f55620a931827ff666e910a7b1ce2b233738cf06 (patch) | |
| tree | c9c760b6ca5b25110c6ae790eefffb8c7000e531 /doc/index.but | |
| parent | f832d3e02171bb43e3ba9e4330257e4e9de2128c (diff) | |
| download | halibut-f55620a931827ff666e910a7b1ce2b233738cf06.zip halibut-f55620a931827ff666e910a7b1ce2b233738cf06.tar.gz halibut-f55620a931827ff666e910a7b1ce2b233738cf06.tar.bz2 halibut-f55620a931827ff666e910a7b1ce2b233738cf06.tar.xz | |
Indexing tweaks for recent changes.
[originally from svn r5339]
Diffstat (limited to 'doc/index.but')
| -rw-r--r-- | doc/index.but | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.but b/doc/index.but index 40eee6e..102788a 100644 --- a/doc/index.but +++ b/doc/index.but @@ -533,6 +533,7 @@ 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{-C} \c{-C} command-line option \IM{--help} \c{--help} command-line option \IM{--version} \c{--version} command-line option |