bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: out of directory formats?


From: Aharon Robbins
Subject: Re: out of directory formats?
Date: Sun, 28 Apr 2013 09:12:47 +0300
User-agent: Heirloom mailx 12.5 6/20/10

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]