From: Paul Eggert Date: Fri, 3 Jan 2014 19:02:58 +0000 (-0800) Subject: doc: specify documentation encoding X-Git-Tag: v3.0.3~27 X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/957255b82cdbf46a5f74d33862ad7edf7d0fa218 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. --- 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