When setting TEXINFO_TEX to a different location (eg, doc/texinfo.tex), the file is no longer distributed in the dist tarball. Shouldn't it be?
Ben
When setting TEXINFO_TEX to a different location (eg, doc/texinfo.tex), the file is no longer distributed in the dist tarball. Shouldn't it be?
Ben