From: Eric Blake <eblake@redhat.com>
Date: Fri, 3 Dec 2010 13:53:18 +0000 (-0700)
Subject: maint: restore executable bit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=add53559b5d05734b3b6b5ad5ec8333019e74703;p=pspp

maint: restore executable bit
---

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