Update readme and Makefile (web builder doesn't exist).

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" \

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.