diff options
author | Pádraig Brady <P@draigBrady.com> | 2015-06-16 06:39:42 +0100 |
---|---|---|
committer | Pádraig Brady <P@draigBrady.com> | 2015-06-16 06:45:47 +0100 |
commit | 9a417cf7d48fa231c937c53626da6c45d09e6b3e (patch) | |
tree | 9450d093b79d0129368519677cce83e0bc85ac2d /lib/unictype/ctype_print.h | |
parent | 82990bb47a7d8c8ec52341a2484f3071d9115b3a (diff) | |
download | gnulib-9a417cf7d48fa231c937c53626da6c45d09e6b3e.tar.gz |
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.
Diffstat (limited to 'lib/unictype/ctype_print.h')
0 files changed, 0 insertions, 0 deletions