# HG changeset patch # User Eric Blake # Date 1362004966 25200 # Node ID ef2a1469e7739e5b320e8cd9aaa4b62f511bc639 # Parent 1c389990ac4feef5e5ada5faac509d7de0de4470 maint: restore gendocs.sh execute bit * build-aux/gendocs.sh: Fix accidental mode bit change. diff -r 1c389990ac4f -r ef2a1469e773 build-aux/gendocs.sh