bug#9890: cosmetic bug in AM_MAINTAINER_MODE

2011-10-29 Thread Zack Weinberg
On 2011-10-29 3:18 AM, Stefano Lattarini wrote: Thanks for the analysis and solution. I've applied your diff, and added a testcase. Attached is the patch I intend to push shortly (I'll give a couple of days for reviews and objections). Thank you for the quick turnaround. Also, I have a mino

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

2011-10-29 Thread Stefano Lattarini
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

bug#9890: cosmetic bug in AM_MAINTAINER_MODE

2011-10-29 Thread Stefano Lattarini
tags 9890 patch thanks On Thursday 27 October 2011, Zack Weinberg wrote: > If you use AM_MAINTAINER_MODE([enable]), configure will print > > > checking whether to disable maintainer-specific portions of Makefiles ... > > yes > > when --disable-maintainer-mode was *not* given on the command line