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 750ce3aa..64d38d7f 100644
--- a/howto.txt
+++ b/howto.txt
@@ -33,6 +33,8 @@
- ELSE:
rm -f ~/coverage/trunk/doc/sample_html/*.*
cp -r htmlcov/ ~/coverage/trunk/doc/sample_html/
+ cd ~/coverage/trunk
+ check in the new sample html
- IF BETA:
- Build and publish docs:
$ make publishbeta