Just to close the loop... > Date: Tue, 16 Apr 2013 22:24:54 +0300 > From: Eli Zaretskii <[email protected]> > Subject: Re: out of directory formats? > To: Aharon Robbins <[email protected]> > Cc: [email protected] > > > 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.
Something was weird, but in any case I got it to work, and along the way I found two places in the makefile where I needed to set TEXINPUTS but had not (running dvips). Thanks, Arnold
