diff options
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0ff8f697..7eb15211 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -30,6 +30,11 @@ html: @echo
@echo "Build finished. The HTML pages are in _build/html."
+text:
+ $(SPHINXBUILD) -b text $(ALLSPHINXOPTS) _build/text
+ @echo
+ @echo "Build finished. The text files are in _build/text."
+
dirhtml:
$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) _build/dirhtml
@echo
|