projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7b182c) | patch
gnu-web-doc-update: New module.
authorJim Meyering <meyering@redhat.com>
Fri, 2 Oct 2009 09:03:48 +0000 (11:03 +0200)
committerJim Meyering <meyering@redhat.com>
Fri, 2 Oct 2009 09:08:09 +0000 (11:08 +0200)
commitee6bf517990504ad29488024f2f7dd089e91668c
tree2acc892e53c44aa24354cf733f88b4a9e47cad55tree | snapshot
parentf7b182c11bce2ba412f47a764dd7555a488dbfb1commit | diff
gnu-web-doc-update: New module.

Use this script to automatically update the on-line web documentation
for your GNU project at http://www.gnu.org/software/$pkg/manual/
* modules/gnu-web-doc-update: New file.
* build-aux/gnu-web-doc-update: New script, from coreutils.
* MODULES.html.sh (Support for maintaining and releasing projects):
Add gnu-web-doc-update.
ChangeLog diff | blob | history
MODULES.html.sh diff | blob | history
build-aux/gnu-web-doc-update [new file with mode: 0755] blob
modules/gnu-web-doc-update [new file with mode: 0644] blob
gnulib debian + stable branches