Re: cannot bootstrap bison from git

[Akim Demaille]

Hi Karl,

> Le 19 mai 2019 à 23:21, Karl Berry <address@hidden> 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 <address@hidden>
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         address@hidden
 Jonathan Nieder           address@hidden
 Josh Soref                address@hidden
 Juan Manuel Guerrero      address@hidden
+Karl Berry                address@hidden
 Kees Zeelenberg           address@hidden
 Keith Browne              address@hidden
 Ken Moffat                address@hidden
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
address@hidden en
 @include version.texi
 @settitle Bison @value{VERSION}
address@hidden 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
address@hidden @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.