diff options
Diffstat (limited to 'third_party/simplejson/scripts/make_docs.py')
-rwxr-xr-x | third_party/simplejson/scripts/make_docs.py | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/third_party/simplejson/scripts/make_docs.py b/third_party/simplejson/scripts/make_docs.py deleted file mode 100755 index d046c1a..0000000 --- a/third_party/simplejson/scripts/make_docs.py +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/env python -import os -import subprocess -import shutil - -SPHINX_BUILD = 'sphinx-build' - -DOCTREES_DIR = 'build/doctrees' -HTML_DIR = 'docs' -for dirname in DOCTREES_DIR, HTML_DIR: - if not os.path.exists(dirname): - os.makedirs(dirname) - -res = subprocess.call([ - SPHINX_BUILD, '-d', DOCTREES_DIR, '-b', 'html', '.', 'docs', -]) -raise SystemExit(res) |