Update readme and Makefile (web builder doesn't exist).
diff --git a/Doc/Makefile b/Doc/Makefile
index 638c822..44eddd9 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -13,12 +13,11 @@
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: 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 @@
* "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.