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 dvi file has unknown xrefs, but the .aux file then
gets created for the next pass to read. Second pass has xrefs, but
the page numbers can potentially be off. But it creates a .aux file
with the right page numbers. Third pass gets it all correct.)
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
texindex gawk.??
TEXINPUTS=$$TEXINPUTS:$(srcdir) $(TEX) $(srcdir)/gawk.texi
I manually run tex one more time to use the correct cross-references.
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.
So, my question is why, and is it safe these days to just use texi2dvi?
Will the xrefs always come out right?
Thanks,
Arnold
--
Aharon (Arnold) Robbins [EMAIL PROTECTED] [ <<=== NOTE: NEW ADDRESS!! ]
P.O. Box 354 Home Phone: +972 8 979-0381 Fax: +1 603 761-6761
Nof Ayalon Cell Phone: +972 51 297-545 (See www.efax.com)
D.N. Shimshon 99784 Laundry increases exponentially in the
ISRAEL number of children. -- Miriam Robbins
