From: Eric Blake <eblake@redhat.com>
Date: Mon, 27 Sep 2010 15:49:53 +0000 (-0600)
Subject: maint: restore x bit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=532d19ed682a2fcc68f97fc63c63e0a514f851d5;p=pspp

maint: restore x bit

* build-aux/gendocs.sh: Re-mark executable.

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