|
| From: | Stefano Lattarini |
| Subject: | bug#9773: "make install-info" with DESTDIR writes unwanted usr/share/info/dir.gz |
| Date: | Sat, 29 Oct 2011 12:32:04 +0200 |
| User-agent: | KMail/1.13.7 (Linux/2.6.30-2-686; KDE/4.6.5; i686; ; ) |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |