summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index c2c0f53a..67633fb5 100644
--- a/Makefile
+++ b/Makefile
@@ -33,10 +33,7 @@ coverage:
WEBHOME = c:/ned/web/stellated/pages/code/modules
-publish: kit
- #cp coverage.py $(WEBHOME)
- #cp test_coverage.py $(WEBHOME)
- #cp coverage_coverage.py $(WEBHOME)
+publish:
cp doc/coverage.px $(WEBHOME)
cp dist/coverage-* $(WEBHOME)