diff options
Diffstat (limited to 'Doc/tools/sphinx-web.py')
-rw-r--r-- | Doc/tools/sphinx-web.py | 14 |
1 files changed, 0 insertions, 14 deletions
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)) |