bug#33594: TEXINFO_TEX file is not in dist

2018-12-02 Thread Nick Bowler
Hi Ben, On 2018-12-02, Ben Elliston 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), i

bug#33594: TEXINFO_TEX file is not in dist

2018-12-02 Thread Ben Elliston
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