summaryrefslogtreecommitdiff
path: root/doc/running.but
diff options
context:
space:
mode:
authorJacob Nevins <jacobn@chiark.greenend.org.uk>2005-02-17 19:00:48 +0000
committerJacob Nevins <jacobn@chiark.greenend.org.uk>2005-02-17 19:00:48 +0000
commit45dd6bf764064c3b2a9f087d8206179f514638ac (patch)
tree48031c7b55380daef6591727dbd0843af77ee844 /doc/running.but
parent4a48e5878f2ededa8bc33e620e26489bf911c5cb (diff)
downloadhalibut-45dd6bf764064c3b2a9f087d8206179f514638ac.zip
halibut-45dd6bf764064c3b2a9f087d8206179f514638ac.tar.gz
halibut-45dd6bf764064c3b2a9f087d8206179f514638ac.tar.bz2
halibut-45dd6bf764064c3b2a9f087d8206179f514638ac.tar.xz
Changes/additions to input character set handling:
- After discussion with Simon, change the default input charset back to ASCII, rather than trying to work it out from the locale, for the sake of promoting .but file portability. - Add a new command-line option "--input-charset=csname", which overrides the ASCII default for all input files (since there's no other way to use a non-ASCII-compatible input file). - Output a warning if -Cinput-charset:foo is specified that it has no effect. - Update the docs to match all this. Also try to clarify some other things in this area that caught me out. [originally from svn r5332]
Diffstat (limited to 'doc/running.but')
-rw-r--r--doc/running.but20
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/running.but b/doc/running.but
index 37e36f3..56790ec 100644
--- a/doc/running.but
+++ b/doc/running.but
@@ -163,6 +163,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
@@ -178,6 +182,22 @@ 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 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\cw{--help}
\dd Print a brief help message and exit immediately. (Don't confuse