Index: third_party/simplejson/scripts/make_docs.py |
diff --git a/third_party/simplejson/scripts/make_docs.py b/third_party/simplejson/scripts/make_docs.py |
new file mode 100755 |
index 0000000000000000000000000000000000000000..d046c1a6d9ab5d7b1166f47f4bb0be36bea0ed3b |
--- /dev/null |
+++ b/third_party/simplejson/scripts/make_docs.py |
@@ -0,0 +1,17 @@ |
+#!/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) |