Re: out of directory formats?

[Aharon Robbins]

Just to close the loop...

> Date: Tue, 16 Apr 2013 22:24:54 +0300
> From: Eli Zaretskii <address@hidden>
> Subject: Re: out of directory formats?
> To: Aharon Robbins <address@hidden>
> Cc: address@hidden
>
> > From: Aharon Robbins <address@hidden>
> > 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