diff options
| author | Georg Brandl <georg@python.org> | 2008-03-25 18:31:06 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2008-03-25 18:31:06 +0000 |
| commit | aa9ba35f232ad837de560c10d2ea3304d61d71e6 (patch) | |
| tree | 782a3e8a62c45768fd3f10c52a71334faa604989 /doc | |
| parent | 8057b0f80e1c5febb546bb2ead706f82c34398c2 (diff) | |
| download | sphinx-git-aa9ba35f232ad837de560c10d2ea3304d61d71e6.tar.gz | |
Rename pickle builder target.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index 2622cb85b..e1f98da35 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -29,12 +29,12 @@ html: @echo @echo "Build finished. The HTML pages are in _build/html." -web: - mkdir -p _build/web _build/doctrees - $(SPHINXBUILD) -b web $(ALLSPHINXOPTS) _build/web +pickle: + mkdir -p _build/pickle _build/doctrees + $(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) _build/pickle @echo @echo "Build finished; now you can run" - @echo " python -m sphinx.web _build/web" + @echo " python -m sphinx.web _build/pickle" @echo "to start the server." htmlhelp: |