From: Eric Blake <eblake@redhat.com>
Date: Mon, 22 Feb 2010 21:30:18 +0000 (-0700)
Subject: * build-aux/gendocs.sh: restore executable bit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=56ba8a8e50d7dfb086fd3bb95e5542b1929e96a6;p=pspp

* build-aux/gendocs.sh: restore executable 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