[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: cannot bootstrap bison from git

From: Akim Demaille
Subject: Re: cannot bootstrap bison from git
Date: Mon, 20 May 2019 06:21:26 +0200

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.


> 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.
    Fixed by Karl Berry.
    * 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
 \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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]