diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2009-05-26 08:58:10 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2009-05-26 08:58:10 -0400 |
| commit | f26aa317f4fc4900d9870a47d7181a8bc46f93cf (patch) | |
| tree | 0eee878728162bd21bc3442296486024a04c7d6d /doc/Makefile | |
| parent | 7fc1441abc5dbdc4ef97937625d4930f65b0a435 (diff) | |
| download | python-coveragepy-f26aa317f4fc4900d9870a47d7181a8bc46f93cf.tar.gz | |
Finally looks like I'll be able to write .px files directly.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index da5df57..5be97aa 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -30,6 +30,11 @@ html: @echo
@echo "Build finished. The HTML pages are in _build/html."
+px:
+ $(SPHINXBUILD) -b px $(ALLSPHINXOPTS) _build/px
+ @echo
+ @echo "Build finished. The HTML pages are in _build/px."
+
text:
$(SPHINXBUILD) -b text $(ALLSPHINXOPTS) _build/text
@echo
|