diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 5be97aa6..a820e372 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -35,6 +35,10 @@ px: @echo
@echo "Build finished. The HTML pages are in _build/px."
+publish:
+ cp _build/px/*.px c:/ned/web/stellated/pages/code/coverage
+ cp sample_html/*.* c:/ned/web/stellated/pages/code/coverage/sample_html
+
text:
$(SPHINXBUILD) -b text $(ALLSPHINXOPTS) _build/text
@echo
|