]> Savannah Git Hosting - gnulib.git/commit
gnu-web-doc-update: add --mirror to remove stale files
authorPádraig Brady <P@draigBrady.com>
Tue, 16 Jun 2015 05:39:42 +0000 (06:39 +0100)
committerPádraig Brady <P@draigBrady.com>
Tue, 16 Jun 2015 05:45:47 +0000 (06:45 +0100)
commit9a417cf7d48fa231c937c53626da6c45d09e6b3e
tree9450d093b79d0129368519677cce83e0bc85ac2d
parent82990bb47a7d8c8ec52341a2484f3071d9115b3a
gnu-web-doc-update: add --mirror to remove stale files

* build-aux/gnu-web-doc-update: Add a --mirror option to remove
out of date files from the CVS server.  Since this is usually
appropriate, a prompt is given when the option is not specified,
along with the `cvs remove` command that would be run.
ChangeLog
build-aux/gnu-web-doc-update