]> Savannah Git Hosting - gnulib.git/commit
gendocs.sh: default to a common CSS style sheet for HTML output
authorLudovic Courtès <ludo@gnu.org>
Thu, 11 Dec 2014 15:49:21 +0000 (16:49 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 16 Apr 2015 09:00:34 +0000 (11:00 +0200)
commit3bafb58396fb1ae63938ee33f3e33e62b5a01d23
treec33cd3ea2f9969b2b01ccff7f1d0c2fdaa3a9478
parent75d1743ac50af4bc1661bfb43d749c9718d1e310
gendocs.sh: default to a common CSS style sheet for HTML output

* build-aux/gendocs.sh (htmlarg): Change default value.
ChangeLog
build-aux/gendocs.sh