Should the configmake module be documented in the gnulib manual?

Reply via email to