]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b167e7b) | patch
doc: specify documentation encoding
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 3 Jan 2014 19:02:58 +0000 (11:02 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 3 Jan 2014 19:08:50 +0000 (11:08 -0800)
commit957255b82cdbf46a5f74d33862ad7edf7d0fa218
treea7f8c5eb73b137e92559e29b042962c848f1a1e3tree | snapshot
parentb167e7ba0dd66dca7888782363fc97a3e282f8efcommit | diff
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.
doc/bison.texi diff | blob | blame | history
bison