[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
out of directory formats?
|
From: |
Aharon Robbins |
|
Subject: |
out of directory formats? |
|
Date: |
Tue, 16 Apr 2013 22:06:36 +0300 |
|
User-agent: |
Heirloom mailx 12.5 6/20/10 |
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
- out of directory formats?,
Aharon Robbins <=