[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.
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.