# HG changeset patch
# User Eric Blake <eblake@redhat.com>
# Date 1362004966 25200
# Node ID abc852025ecf81ccea3af199dfcef3ea0f75185a
# Parent  1fff19279ff9538e4df6df94a99c5c3e50a8cee4
maint: restore gendocs.sh execute bit

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

diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
old mode 100644
new mode 100755