GNU bug report logs - #9773
"make install-info" with DESTDIR writes unwanted usr/share/info/dir.gz

Previous Next

Full log

View this message in rfc822 format

From: Jonathan Nieder <jrnieder <at> gmail.com>
To: Stefano Lattarini <stefano.lattarini <at> gmail.com>
Cc: 9773 <at> debbugs.gnu.org
Subject: bug#9773: "make install-info" with DESTDIR writes unwanted usr/share/info/dir.gz
Date: Sun, 23 Oct 2011 01:27:14 -0500

Stefano Lattarini wrote:
> On Monday 17 October 2011, Jonathan Nieder wrote:

>> +++ b/ChangeLog
>> @@ -1,3 +1,16 @@
>> +2011-10-17  Jonathan Nieder  <jrnieder <at> gmail.com>
>> +
>> +	For Debian Bug#543992:
>> +	* lib/am/texinfos.am (install-info-am): When deciding whether to
>> +	add to an info/dir file, instead of checking for Debian
>> +	install-info, check if DESTDIR is nonempty.
[...]
> I must say that I don't like this very much.  A better fix IMHO would
> be to have an environment variable to inhibit the creation/updating of
> the `${infodir}/dir' file

Yes, that sounds sensible.  It would be better than checking for
Debian install-info (because that was insane) and better than the
current state (because it gives packagers on all distros an easy way
to request inhibiting creation of the ${infodir}/dir file).

Keying behavior on $(DESTDIR) left an unpleasant taste in my mouth,
too.  Thanks for your thoughtfulness.

Previous Next

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