diff options
| -rw-r--r-- | Doc/README.txt | 4 | ||||
| -rw-r--r-- | Doc/tools/sphinx-web.py | 14 |
2 files changed, 2 insertions, 16 deletions
diff --git a/Doc/README.txt b/Doc/README.txt index a1ebed7..3dce091 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 5f7b50b..0000000 --- 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)) |