Re: [PATCH] intprops: add doc

[Bruno Haible]

Paul Eggert wrote:
> +that behavior is undefined for shifts unless address@hidden@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 address@hidden
                                                  address@hidden<@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  <address@hidden>

        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)>