maint: fix gendocs.sh permissions
[gnulib.git] / build-aux / gendocs.sh
old mode 100644 (file)
new mode 100755 (executable)