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
