bug#33594: TEXINFO_TEX file is not in dist

2018-12-03 Thread Ben Elliston
On Mon, Dec 03, 2018 at 01:04:02AM -0500, Nick Bowler wrote: > ... 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

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