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
> texindex gawk.??
> TEXINPUTS=$$TEXINPUTS:$(srcdir) $(TEX) $(srcdir)/gawk.texi
Sorry, I missed this. I think this is wrong: $(srcdir) must come first
in TEXINPUTS, not last. Otherwise, you might be using the wrong version
of texinfo.tex.
