@echo "Build finished. The HTML pages are in _build/html."
- mkdir -p _build/web _build/doctrees
- $(SPHINXBUILD) -b web $(ALLSPHINXOPTS) _build/web
+ mkdir -p _build/pickle _build/doctrees
+ $(SPHINXBUILD) -b pickle $(ALLSPHINXOPTS) _build/pickle
@echo "Build finished; now you can run"
- @echo " python -m sphinx.web _build/
+ @echo " python -m sphinx.web _build/"
@echo "to start the server."