Commit 689dff156ce15bb27dfc0a6749b67a06b5da87e0

Eric Blake 2013-02-27T15:42:46

maint: restore gendocs.sh execute bit * build-aux/gendocs.sh: Fix accidental mode bit change.