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 /etc | |
| 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.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions