Subject: bug#33594: TEXINFO_TEX file is not in dist

From: Ben Elliston <[email-masked]>
Date: Mon, 3 Dec 2018 13:03:56 +1100

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