diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2014-01-03 11:02:58 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2014-01-03 11:08:50 -0800 |
| commit | 957255b82cdbf46a5f74d33862ad7edf7d0fa218 (patch) | |
| tree | a7f8c5eb73b137e92559e29b042962c848f1a1e3 | |
| parent | b167e7ba0dd66dca7888782363fc97a3e282f8ef (diff) | |
| download | bison-957255b82cdbf46a5f74d33862ad7edf7d0fa218.tar.gz | |
doc: specify documentation encoding
* doc/bison.texi: Add '@documentencoding UTF-8'; needed since the
manual contains UTF-8 characters. This will cause the .info files
to contain UTF-8 quotes and the like, which should be OK nowadays.
Add @documentlanguage while we're at it.
| -rw-r--r-- | doc/bison.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/bison.texi b/doc/bison.texi index cd5e440e..69b6d8cf 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -1,6 +1,8 @@ \input texinfo @c -*-texinfo-*- @comment %**start of header @setfilename bison.info +@documentencoding UTF-8 +@documentlanguage en @include version.texi @settitle Bison @value{VERSION} @setchapternewpage odd |