projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee6bf51) | patch
gnu-web-doc-update: add standard options
authorJim Meyering <meyering@redhat.com>
Fri, 2 Oct 2009 10:05:03 +0000 (12:05 +0200)
committerJim Meyering <meyering@redhat.com>
Fri, 2 Oct 2009 10:05:03 +0000 (12:05 +0200)
commitfaf52e824a51a93d173ed97c8901415a0be19481
tree88905c505bec7af0722e0531343ffe498d903930tree | snapshot
parentee6bf517990504ad29488024f2f7dd089e91668ccommit | diff
gnu-web-doc-update: add standard options

* build-aux/gnu-web-doc-update: Add --help, --version, etc.
ChangeLog diff | blob | history
build-aux/gnu-web-doc-update diff | blob | history
gnulib debian + stable branches