From: Karl Berry <karl@freefriends.org>
Date: Thu, 7 Jan 2010 18:33:44 +0000 (-0800)
Subject: autoupdate
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67516517a5cd666e9494e9eca61aac7feb1d9b9d;p=pspp

autoupdate
---

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