Just to close the loop...
> Date: Tue, 16 Apr 2013 22:24:54 +0300
> From: Eli Zaretskii
> Subject: Re: out of directory formats?
> To: Aharon Robbins
> Cc: bug-texinfo@gnu.org
>
> > From: Aharon Robbins
> > Date: Tue, 16 Apr 2013 22:06:36 +0300
> >
>
> From: Aharon Robbins
> 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 ge
Hi.
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?
Thanks,
Arnold