added make_docs.py

MartinThoma · Jan 18, 2015 · e039a81 · e039a81
1 parent 2f63093
commit e039a81
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/make_docs.py b/make_docs.py
@@ -0,0 +1,9 @@
+#!/usr/bin/env python
+
+import os
+
+os.chdir("docs")
+
+os.system("make html")
+os.chdir("..")
+os.system("python setup.py upload_docs --upload-dir docs/build/html")