Karl Berry wrote: > Should the configmake module be documented in the gnulib manual?
It should, yes. Currently the doc is in the module description (lines 13..25 of modules/configmake), which is an unusual place. Feel free to move it to a new file doc/configmake.texi, that gets included as part of the chapter "Particular Modules". I would suggest between the sections 'func' and 'warnings'. Bruno
