diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2009-06-21 10:36:03 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2009-06-21 10:36:03 -0400 |
commit | e643895489fbb11c2550d16883c888c0f40f4d0b (patch) | |
tree | 3ecaa99375e0c67e2004b7596109365a1333b3a9 | |
parent | ffe1d44ef3811af7eb38fec0b61ea4eb25c609bd (diff) | |
download | python-coveragepy-git-e643895489fbb11c2550d16883c888c0f40f4d0b.tar.gz |
rm -f works better when there might not be stuff to delete.
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index ab00b44c..0d3e4255 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -37,9 +37,9 @@ px: @echo "Build finished. The HTML pages are in _build/px."
publish:
- rm c:/ned/web/stellated/pages/code/coverage/*.px
+ rm -f c:/ned/web/stellated/pages/code/coverage/*.px
cp _build/px/*.px c:/ned/web/stellated/pages/code/coverage
- rm c:/ned/web/stellated/pages/code/coverage/sample_html/*.*
+ rm -f c:/ned/web/stellated/pages/code/coverage/sample_html/*.*
cp sample_html/*.* c:/ned/web/stellated/pages/code/coverage/sample_html
text:
|