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/running.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/running.but')
| -rw-r--r-- | doc/running.but | 2 |
1 files changed, 1 insertions, 1 deletions
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.) |