[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: out of directory formats?
|
From: |
Eli Zaretskii |
|
Subject: |
Re: out of directory formats? |
|
Date: |
Tue, 16 Apr 2013 22:24:54 +0300 |
> 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.