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



Reply via email to