X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/halibut/blobdiff_plain/4395e204788b28ff8e03ff1c075bd1bda3d62008..faaa472f80570868bcc5469be639ea69875f3fac:/doc/running.but diff --git a/doc/running.but b/doc/running.but index 37e36f3..2f5e886 100644 --- a/doc/running.but +++ b/doc/running.but @@ -1,3 +1,5 @@ +\versionid $Id$ + \C{running} Running Halibut \I{running Halibut}In the simplest case, running Halibut is very @@ -163,6 +165,10 @@ might have to type four backslashes on your shell command line. This is not part of Halibut's own behaviour, and it cannot do anything about it.) +Configuration directives created in this way take effect after all +other input has been processed. (In most cases, this has the effect of +overriding any other instances of the directive in the input.) + } The options which set the output file names actually work by @@ -172,12 +178,32 @@ identically to \c{--text -Ctext-filename:myfile.txt}. The Windows Help and man page formats work similarly. HTML is slightly different, since it also arranges for single-file output if you pass a filename to \c{--html}; so \c{--html=myfile.html} is equivalent to -\c{--html -Cxhtml-single-filename:myfile.html -Cxhtml-leaf-level:0}. +\c{--html -Chtml-single-filename:myfile.html -Chtml-leaf-level:0}. (See \k{output} for explanations of all these configuration directives.) In addition to these, there are also a few other options: +\dt \i\cw{--input-charset}\cw{=}\e{charset} + +\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.) + +\lcont{ + +Any \cw{\\cfg\{input-charset\}} directives within input files override +this option. + +See \k{input-config} for more information about the input character set. + +} + +\dt \I{character sets, enumerating}\i\cw{--list-charsets} + +\dd List character sets known to Halibut. + \dt \i\cw{--help} \dd Print a brief help message and exit immediately. (Don't confuse