> Date: Mon, 11 Oct 1999 16:30:06 +0200 (IST)
> From: Eli Zaretskii <[EMAIL PROTECTED]>
>
> On Mon, 11 Oct 1999, Aharon Robbins wrote:
>
> > Like a good boy, I later switched to texi2dvi, but at least at one time,
> > it would only run tex twice, thus in gawk's doc/Makefile.in, I now have:
> >
>
On Mon, 11 Oct 1999, Aharon Robbins wrote:
> Like a good boy, I later switched to texi2dvi, but at least at one time,
> it would only run tex twice, thus in gawk's doc/Makefile.in, I now have:
>
> gawk.dvi: gawk.texi
> -TEXINPUTS=$$TEXINPUTS:$(srcdir) $(TEXI2DVI) $(srcdir)/gawk.texi
>
On Mon, 11 Oct 1999, Aharon Robbins wrote:
> This is fine and dandy, except that when I do something like this:
>
> mkdir /tmp/foo
> cd /tmp/foo
> /path/to/gawk-dist/configure
> make
> cd doc
> make dvi
>
> the last run of `tex' craps out in the middle.
Doe
Greetings.
Here is a slightly bizarre bug report.
Lo these many years ago, 'twas my habit to run:
tex gawk.texi
texindex gawk.??
tex gawk.texi
texindex gawk.??
tex gawk.texi
This was to make sure that all the cross references were right.
(First pass the