Paul Eggert wrote:
> +that behavior is undefined for shifts unless 0@leq{}@var{b}<@var{w}
This addition leads to a "make" error in the doc directory for me:
$ make
...
./intprops.texi:243: Missing $ inserted.
<inserted text>
$
<to be read again>
@leq
l.243 ...vior is undefined for shifts unless 0@leq
{}@var{b}<@var{w}
The reason is that texi2dvi and texi2pdf use the installed texinfo.texi by
default, and mine is too old: /usr/share/texmf/tex/texinfo/texinfo.tex has
\def\texinfoversion{2007-01-02.19}
This fixes it:
2011-05-28 Bruno Haible <br...@clisp.org>
doc: Use a recent texinfo.tex.
* doc/Makefile (tex_opts): New variable.
(%.dvi, %.pdf): Pass it to texi2dvi and texi2pdf.
--- doc/Makefile.orig Sat May 28 16:40:42 2011
+++ doc/Makefile Sat May 28 16:39:42 2011
@@ -14,6 +14,9 @@
manual_opts = --no-split --reference-limit=2000
TEXI2HTML = $(MAKEINFO) $(manual_opts) --html
+# Needed so that tex finds a recent enough texinfo.tex.
+tex_opts = -I ../build-aux
+
%.info: %.texi
$(MAKEINFO) $(manual_opts) $<
@@ -21,10 +24,10 @@
$(TEXI2HTML) -o $@ $<
%.dvi: %.texi
- texi2dvi $< || { if texi2dvi $< 2>/dev/null | grep 'TeX capacity
exceeded, sorry \[save size=' > /dev/null; then echo '*** You must increase the
save_size in your texmf.cnf file, often located under /etc/texmf/.'; fi; exit
1; }
+ texi2dvi $(tex_opts) $< || { if texi2dvi $(tex_opts) $< 2>/dev/null |
grep 'TeX capacity exceeded, sorry \[save size=' > /dev/null; then echo '***
You must increase the save_size in your texmf.cnf file, often located under
/etc/texmf/.'; fi; exit 1; }
%.pdf: %.texi
- texi2pdf $< || { if texi2pdf $< 2>/dev/null | grep 'TeX capacity
exceeded, sorry \[save size=' > /dev/null; then echo '*** You must increase the
save_size in your texmf.cnf file, often located under /etc/texmf/.'; fi; exit
1; }
+ texi2pdf $(tex_opts) $< || { if texi2pdf $(tex_opts) $< 2>/dev/null |
grep 'TeX capacity exceeded, sorry \[save size=' > /dev/null; then echo '***
You must increase the save_size in your texmf.cnf file, often located under
/etc/texmf/.'; fi; exit 1; }
all: info html dvi
info: $(doc).info
--
In memoriam Thomas Ford
<http://en.wikipedia.org/wiki/Thomas_Ford_(Catholic_martyr)>
