projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a42a32e) | patch
gnu-web-doc-update: add all the new files, even in new directories
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 14 Dec 2012 11:58:35 +0000 (12:58 +0100)
committerAkim Demaille <akim@lrde.epita.fr>
Sun, 16 Dec 2012 14:39:39 +0000 (15:39 +0100)
commitd9963cfec3a40a2255d8ebb39834700a3fce6f5a
treef2e592e26c852eafe8b54087a02ba8a1facf0256tree | snapshot
parenta42a32e05e8406424d702f6a9e0e2c12b7e460eacommit | diff
gnu-web-doc-update: add all the new files, even in new directories

See http://lists.gnu.org/archive/html/bug-gnulib/2012-12/msg00057.html

* build-aux/gnu-web-doc-update (--dry-run, $dryrun): New.
Use it.
(main): Don't use cvsutils to get the list of unknown files,
just add all the existing files and directories.
ChangeLog diff | blob | history
build-aux/gnu-web-doc-update diff | blob | history
gnulib debian + stable branches