diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-20 06:11:07 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-20 06:12:47 +0200 |
commit | 70c3f3ade5a94034daf44c6d5d4644c180a484ff (patch) | |
tree | 548ca5524baecb8cc57ea15268d1948f02acc89b /doc | |
parent | 1934304acf6be6da3b44b65630d734cad6de1b03 (diff) | |
download | bison-70c3f3ade5a94034daf44c6d5d4644c180a484ff.tar.gz |
doc: avoid Texinfo portability issues
Reported by Bruno Haible.
http://lists.gnu.org/archive/html/bug-bison/2019-05/msg00024.html
Fixed by Karl Berry.
http://lists.gnu.org/archive/html/bug-bison/2019-05/msg00034.html
* doc/bison.texi: Don't specify the langage, rely on the default.
Avoid blank pages.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/bison.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/bison.texi b/doc/bison.texi index 541e6d44..579f2083 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -2,10 +2,8 @@ @comment %**start of header @setfilename bison.info @documentencoding UTF-8 -@documentlanguage en @include version.texi @settitle Bison @value{VERSION} -@setchapternewpage odd @tex \gdef\rgbWarning{0.50 0 0.50} @@ -58,6 +56,7 @@ @c This edition has been formatted so that you can format and print it in @c the smallbook format. @c @smallbook +@c @setchapternewpage odd @c Set following if you want to document %default-prec and %no-default-prec. @c This feature is experimental and may change in future Bison versions. |