summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--howto.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/howto.txt b/howto.txt
index 072ecfca..f3a99d3a 100644
--- a/howto.txt
+++ b/howto.txt
@@ -25,8 +25,10 @@
coverage combine
coverage html
- IF BETA:
+ rm -f ~/coverage/trunk/doc/sample_html_beta/*.*
cp -r htmlcov/ ~/coverage/trunk/doc/sample_html_beta/
- ELSE:
+ rm -f ~/coverage/trunk/doc/sample_html/*.*
cp -r htmlcov/ ~/coverage/trunk/doc/sample_html/
- IF BETA:
- Build and publish docs: