diff options
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 da5df57e..5be97aa6 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
|