maint: restore gendocs.sh execute bit
authorEric Blake <eblake@redhat.com>
Wed, 27 Feb 2013 22:42:46 +0000 (15:42 -0700)
committerEric Blake <eblake@redhat.com>
Wed, 27 Feb 2013 22:42:46 +0000 (15:42 -0700)
commit689dff156ce15bb27dfc0a6749b67a06b5da87e0
treedb1277131b3f64d0372dfda2c19d40f9e657336b
parent930b85b8881f5a65e5b99b75e7341a01ddc2c766
maint: restore gendocs.sh execute bit

* build-aux/gendocs.sh: Fix accidental mode bit change.
build-aux/gendocs.sh [changed mode: 0644->0755]