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.