From: Eric Blake <eblake@redhat.com>
Date: Thu, 29 Jul 2010 23:15:49 +0000 (-0600)
Subject: * build-aux/gendocs.sh: restore lost x bit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=408606ad91bf1c2a4993a3446e6422ea81b8b325;p=pspp

* build-aux/gendocs.sh: restore lost x bit

Signed-off-by: Eric Blake <eblake@redhat.com>
---

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