Hi Karl, > Le 19 mai 2019 à 23:21, Karl Berry <k...@freefriends.org> a écrit : > > IMHO it would be best if bison.texi (and all other GNU manuals written > in English) did not read txi-en.tex in the first place. Removing the > "@documentlanguage en" line is all that is needed, and since US English > is the default for TeX and Texinfo and always will be, there are no ill > effects.
Ok. > I'm not enthused about syncing ~20 new files (which hardly ever change) > into gnulib. Also, for perfect synchronicity, that would imply uploading > and maintaining those txi-??.tex files also on ftp.gnu.org. Yuck. -k > > P.S. Independent of that, I suggest removing the @setchapternewpage odd > from bison.texi. Blank pages are just a nuisance for everything except > bound books. In the event that the FSF reprints the bison manual on > paper, they are perfectly capable of specifying that in their final > print run. Ok, I removed this too. I installed the following patch in Bison. Thanks to both of you! commit 70c3f3ade5a94034daf44c6d5d4644c180a484ff Author: Akim Demaille <akim.demai...@gmail.com> Date: Mon May 20 06:11:07 2019 +0200 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. diff --git a/THANKS b/THANKS index 07355b23..e7ddd751 100644 --- a/THANKS +++ b/THANKS @@ -89,6 +89,7 @@ Jonathan Fabrizio jonathan.fabri...@lrde.epita.fr Jonathan Nieder jrnie...@gmail.com Josh Soref jso...@gmail.com Juan Manuel Guerrero juan.guerr...@gmx.de +Karl Berry k...@freefriends.org Kees Zeelenberg k...@users.sourceforge.net Keith Browne kbro...@legato.com Ken Moffat zarniwh...@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.