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 | |
| 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.
| -rw-r--r-- | THANKS | 1 | ||||
| -rw-r--r-- | doc/bison.texi | 3 |
2 files changed, 2 insertions, 2 deletions
@@ -89,6 +89,7 @@ Jonathan Fabrizio jonathan.fabrizio@lrde.epita.fr Jonathan Nieder jrnieder@gmail.com Josh Soref jsoref@gmail.com Juan Manuel Guerrero juan.guerrero@gmx.de +Karl Berry karl@freefriends.org Kees Zeelenberg kzlg@users.sourceforge.net Keith Browne kbrowne@legato.com Ken Moffat zarniwhoop@ntlworld.com 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. |