Re: weirdness with texi2dvi

1999-10-11 Thread Aharon Robbins
> 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: > > >

Re: weirdness with texi2dvi

1999-10-11 Thread Eli Zaretskii
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 >

Re: weirdness with texi2dvi

1999-10-11 Thread Eli Zaretskii
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

weirdness with texi2dvi

1999-10-11 Thread Aharon Robbins
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