From: Benjamin Peterson <benjamin@python.org>
Date: Sun, 21 Dec 2008 01:04:32 +0000 (+0000)
Subject: sphinx.web is long gone
X-Git-Tag: v2.7a1~2517
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5c29dd4dbcdd7778fd327f6ede14bfa54bca0708;p=thirdparty%2FPython%2Fcpython.git

sphinx.web is long gone
---

diff --git a/Doc/README.txt b/Doc/README.txt
index a1ebed718a84..3dce091c7ee0 100644
--- a/Doc/README.txt
+++ b/Doc/README.txt
@@ -94,8 +94,8 @@ Then, make an output directory, e.g. under `build/`, and run ::
 
    python tools/sphinx-build.py -b<builder> . build/<outputdirectory>
 
-where `<builder>` is one of html, web or htmlhelp (for explanations see the make
-targets above).
+where `<builder>` is one of html, text, latex, or htmlhelp (for explanations see
+the make targets above).
 
 
 Contributing
diff --git a/Doc/tools/sphinx-web.py b/Doc/tools/sphinx-web.py
deleted file mode 100644
index 5f7b50b6fdf1..000000000000
--- a/Doc/tools/sphinx-web.py
+++ /dev/null
@@ -1,14 +0,0 @@
-# -*- coding: utf-8 -*-
-"""
-    Sphinx - Python documentation webserver
-    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
-    :copyright: 2007 by Georg Brandl.
-    :license: Python license.
-"""
-
-import sys
-
-if __name__ == '__main__':
-    from sphinx.web import main
-    sys.exit(main(sys.argv))