]> git.saurik.com Git - bison.git/commitdiff
projects / bison.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 957255b)
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)
* 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.


No differences found
bison