From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 11 Jan 2013 16:48:22 +0000 (-0800)
Subject: gendocs.sh: Update from gnulib.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=91958b98fac5f791b0009314e09773d21e550b4b;hp=91958b98fac5f791b0009314e09773d21e550b4b;p=pspp

gendocs.sh: Update from gnulib.
---