diff options
| -rw-r--r-- | README-maint | 3 |
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. |