GNU bug report logs - #33594
TEXINFO_TEX file is not in dist

Previous Next

Full log

View this message in rfc822 format

From: Nick Bowler <nbowler <at> draconx.ca>
To: Ben Elliston <bje <at> air.net.au>
Cc: 33594 <at> debbugs.gnu.org
Subject: bug#33594: TEXINFO_TEX file is not in dist
Date: Mon, 3 Dec 2018 01:04:02 -0500

Hi Ben,

On 2018-12-02, Ben Elliston <bje <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.