diff options
| author | Georg Brandl <georg@python.org> | 2010-01-17 16:48:02 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2010-01-17 16:48:02 +0100 |
| commit | bf381cf55d1bb6fde5e2c9842f7eadc3b5cdba39 (patch) | |
| tree | d5b24643e9cc25a0942a19c6fc539e6b3986694e /doc/Makefile | |
| parent | 2e632cb9e2ba574047a763c01c0953874ee746fe (diff) | |
| download | sphinx-bf381cf55d1bb6fde5e2c9842f7eadc3b5cdba39.tar.gz | |
Add single-file HTML builder. Closes #151.
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 3fb8dbcd..bfd5ca83 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -37,6 +37,11 @@ dirhtml: @echo @echo "Build finished. The HTML pages are in _build/dirhtml." +singlehtml: + $(SPHINXBUILD) -b singlehtml $(ALLSPHINXOPTS) _build/singlehtml + @echo + @echo "Build finished. The HTML page is in _build/singlehtml." + text: $(SPHINXBUILD) -b text $(ALLSPHINXOPTS) _build/text @echo |