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

Previous Next

Package: automake;

Reported by: Ben Elliston <bje <at> air.net.au>

Date: Mon, 3 Dec 2018 02:05:02 UTC

Severity: normal

Done: Mike Frysinger <vapier <at> gentoo.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ben Elliston <bje <at> air.net.au>
To: Nick Bowler <nbowler <at> draconx.ca>
Cc: 33594 <at> debbugs.gnu.org
Subject: bug#33594: TEXINFO_TEX file is not in dist
Date: Mon, 3 Dec 2018 17:59:43 +1100

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 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.

Thanks, Nick. It's a bit counterintuitive to my mind, but at least the
workaround is documented.

Cheers, Ben
This bug report was last modified 3 years and 99 days ago.

Previous Next

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