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

[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