diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index e99699775..b9c6d0f5a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -31,6 +31,12 @@ html: @echo @echo "Build finished. The HTML pages are in .build/html." +text: + mkdir -p .build/text .build/doctrees + $(SPHINXBUILD) -b text $(ALLSPHINXOPTS) .build/text + @echo + @echo "Build finished. The HTML pages are in .build/text." + pickle: mkdir -p .build/pickle .build/doctrees $(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) .build/pickle |