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 | |
| 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]
| -rw-r--r-- | doc/index.but | 1 | ||||
| -rw-r--r-- | doc/running.but | 2 |
2 files changed, 2 insertions, 1 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 diff --git a/doc/running.but b/doc/running.but index b2b2819..f1a3c8c 100644 --- a/doc/running.but +++ b/doc/running.but @@ -186,7 +186,7 @@ In addition to these, there are also a few other options: \dt \i\cw{--input-charset}\cw{=}\e{charset} -\dd Changes the default assumed character set for all input files from +\dd Changes the default assumed \i{character set} for all input files from ASCII to something else. (\cw{-Cinput-charset} cannot be used for this, as \cw{-C} directives are processed after all other input, so wouldn't affect any files.) |