# 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 -r 1fff19279ff9 -r abc852025ecf build-aux/gendocs.sh