gendocs.sh: Update from gnulib.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 11 Jan 2013 16:48:22 +0000 (08:48 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 11 Jan 2013 16:48:22 +0000 (08:48 -0800)
commit91958b98fac5f791b0009314e09773d21e550b4b
tree89c341d06871e3e83cdbb86237e758f004c844ed
parent158d2ead02f2573b26641de50ac5498a132ed01a
gendocs.sh: Update from gnulib.
gendocs.sh