maint: fix gendocs.sh permissions
[gnulib.git] / modules / diffseq
2007-08-17 Paul Eggert* MODULES.html.sh: Add diffseq.