From 8342f7cd5c23d2ae40c66e62ce1afa06e2239166 2008-03-29 13:49:06
From: Ville M. Vainio <vivainio@gmail.com>
Date: 2008-03-29 13:49:06
Subject: [PATCH] add do_sphinx.py

---

diff --git a/doc/do_sphinx.py b/doc/do_sphinx.py
new file mode 100644
index 0000000..30bb988
--- /dev/null
+++ b/doc/do_sphinx.py
@@ -0,0 +1,4 @@
+import os
+def oscmd(c):
+	os.system(c)
+oscmd('sphinx-build -d build/doctrees source build/html')
\ No newline at end of file