bug#33594: TEXINFO_TEX file is not in dist

[Nick Bowler]

Hi Ben,

On 2018-12-02, Ben Elliston <address@hidden> 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