diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index a820e372..ab00b44c 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -32,11 +32,14 @@ html: px:
$(SPHINXBUILD) -b px $(ALLSPHINXOPTS) _build/px
+ rm _build/px/search.px
@echo
@echo "Build finished. The HTML pages are in _build/px."
publish:
+ rm 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/*.*
cp sample_html/*.* c:/ned/web/stellated/pages/code/coverage/sample_html
text:
|