> From: Aharon Robbins <[email protected]> > Date: Tue, 16 Apr 2013 22:06:36 +0300 > > If I configure gawk from a directory different than where the > source code is, and I want to make a PDF file, pdftex uses its installed > texinfo.tex instead of the one in the gawk doc directory. > > Is there a way to make it get the version there?
Setting TEXINPUTS should do that, I'd expect.
