Hi Ben, On 2018-12-02, Ben Elliston <b...@air.net.au> wrote: > 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?
This actually is the documented behaviour[1]: ... if you set the TEXINFO_TEX variable (see below), it overrides the location of [texinfo.tex] and turns off its installation into the source [by automake --add-missing] as well as its distribution. There's no rationale given but I guess that disabling distribution when tweaking these things is more flexible: it is easier to add the file to EXTRA_DIST if you want it distributed than it is to prevent distribution otherwise. [1] https://www.gnu.org/software/automake/manual/automake.html#Texinfo Cheers, Nick
