diff options
| -rw-r--r-- | Doc/Makefile | 9 | ||||
| -rw-r--r-- | Doc/README.txt | 3 |
2 files changed, 1 insertions, 11 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 638c822..44eddd9 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -13,12 +13,11 @@ SOURCES = ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees -D latex_paper_size=$(PAPER) \ $(SPHINXOPTS) . build/$(BUILDER) $(SOURCES) -.PHONY: help checkout update build html web htmlhelp clean coverage +.PHONY: help checkout update build html htmlhelp clean coverage help: @echo "Please use \`make <target>' where <target> is one of" @echo " html to make standalone HTML files" - @echo " web to make file usable by Sphinx.web" @echo " htmlhelp to make HTML files and a HTML help project" @echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter" @echo " text to make plain text files" @@ -59,12 +58,6 @@ html: BUILDER = html html: build @echo "Build finished. The HTML pages are in build/html." -web: BUILDER = web -web: build - @echo "Build finished; now you can run" - @echo " PYTHONPATH=tools $(PYTHON) -m sphinx.web build/web" - @echo "to start the server." - htmlhelp: BUILDER = htmlhelp htmlhelp: build @echo "Build finished; now you can run HTML Help Workshop with the" \ diff --git a/Doc/README.txt b/Doc/README.txt index 8ae3579..a1ebed7 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -38,9 +38,6 @@ Available make targets are: * "html", which builds standalone HTML files for offline viewing. - * "web", which builds files usable with the Sphinx.web application (used to - serve the docs online at http://docs.python.org/). - * "htmlhelp", which builds HTML files and a HTML Help project file usable to convert them into a single Compiled HTML (.chm) file -- these are popular under Microsoft Windows, but very handy on every platform. |