From 5c29dd4dbcdd7778fd327f6ede14bfa54bca0708 Mon Sep 17 00:00:00 2001 From: Benjamin Peterson Date: Sun, 21 Dec 2008 01:04:32 +0000 Subject: [PATCH] sphinx.web is long gone --- Doc/README.txt | 4 ++-- Doc/tools/sphinx-web.py | 14 -------------- 2 files changed, 2 insertions(+), 16 deletions(-) delete mode 100644 Doc/tools/sphinx-web.py diff --git a/Doc/README.txt b/Doc/README.txt index a1ebed718a..3dce091c7e 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 . build/ -where `` is one of html, web or htmlhelp (for explanations see the make -targets above). +where `` 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 5f7b50b6fd..0000000000 --- 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)) -- 2.50.1