summaryrefslogtreecommitdiff
path: root/README-maint
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2010-10-26 13:07:13 +0200
committerPeter Simons <simons@cryp.to>2010-10-26 13:07:13 +0200
commitf704f9e49fc0e620bb022937be188ffca4694676 (patch)
tree4cd2f32f6cfd798e7f56e14e24e041de8058a8da /README-maint
parente9907558738af48870dff6c3179b81553a5ab7fc (diff)
downloadautoconf-archive-f704f9e49fc0e620bb022937be188ffca4694676.tar.gz
README-maint: prefer rsync to move the web pages into the html directoryv2010.10.26
Diffstat (limited to 'README-maint')
-rw-r--r--README-maint3
1 files changed, 2 insertions, 1 deletions
diff --git a/README-maint b/README-maint
index 9d24137..253b689 100644
--- a/README-maint
+++ b/README-maint
@@ -33,7 +33,8 @@
: make web-manual # generate an HTML rendering of the user documentation
: ./fix-website.sh # massage file names generated by texinfo
- : cp doc/manual/html/* html/ # copy the new files into the CVS checkout
+ : # copy the new files into the CVS checkout
+ : rsync -vrcH --exclude CVS --delete-after doc/manual/html/ html/
: (cd html ; cvs commit -m "generated from autoconf-archive $(git describe)")
* How to make a release.