maint: fix gendocs.sh permissions
[gnulib.git] / doc / configmake.texi
2011-01-10 Karl Berrydocument configmake in the manual instead of the source