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

Previous Next

Package: automake;

Reported by: Jonathan Nieder <jrnieder <at> gmail.com>

Date: Mon, 17 Oct 2011 06:41:01 UTC

Severity: normal

Tags: patch

Done: Stefano Lattarini <stefano.lattarini <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Stefano Lattarini <stefano.lattarini <at> gmail.com>
To: 9773 <at> debbugs.gnu.org
Cc: jrnieder <at> gmail.com, automake-patches <at> gnu.org
Subject: bug#9773: "make install-info" with DESTDIR writes unwanted usr/share/info/dir.gz
Date: Sat, 29 Oct 2011 12:32:04 +0200

tags 9773 patch
close 9773
thanks

On Sunday 23 October 2011, Stefano Lattarini wrote:
> Here is my proposed patch (for maint).  I will push in 72 hours
> if there is no objection or review by then.
> 
I've pushed the patch to maint now (after addressing the nits
pointed out by Jonathan).  I'm thus closing this report.

Regards,
  Stefano
This bug report was last modified 13 years and 267 days ago.

Previous Next

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