Re: bug#7773: (lack of) config.h description in manual

2011-01-08 Thread Karl Berry
Proposed patch. OK to push? Works for me. I didn't find a place in the gnulib manual where configmake was explained. Eric explained. I'll write that node in the manual per Bruno's instructions "soon", I hope. Thanks, k

Re: bug#7773: (lack of) config.h description in manual

2011-01-08 Thread Eric Blake
[ dropping bug-autoconf ] On 01/08/2011 09:37 AM, Ralf Wildenhues wrote: > [ adding autoconf-patches, dropping the Automake bug ] > > * Eric Blake wrote on Tue, Jan 04, 2011 at 01:33:42AM CET: >> I also agree that the autoconf manual should mention the gnulib >> 'configmake' module (it doesn't, y

Re: bug#7773: (lack of) config.h description in manual

2011-01-08 Thread Ralf Wildenhues
[ adding autoconf-patches, dropping the Automake bug ] * Eric Blake wrote on Tue, Jan 04, 2011 at 01:33:42AM CET: > I also agree that the autoconf manual should mention the gnulib > 'configmake' module (it doesn't, yet). Proposed patch. OK to push? I didn't find a place in the gnulib manual whe