From ecf932c51b8f279199c68fc4925a2cdd0b0671a7 Mon Sep 17 00:00:00 2001
From: Blaise Laflamme <blaise@laflamme.org>
Date: Sat, 26 Nov 2011 21:12:53 -0500
Subject: fix for themes on rtd

---
 docs/conf.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs/conf.py b/docs/conf.py
index e37e758ce..39b6e7a04 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -49,7 +49,10 @@ wd = os.getcwd()
 os.chdir(parent)
 os.system('%s setup.py test -q' % sys.executable)
 if rtd:
-    os.system('git submodule update --init')
+    from subprocess import Popen, PIPE
+    p = subprocess.Popen('which git', shell=True, stdout=subprocess.PIPE)
+    git = p.stdout.read().strip()
+    os.system('rm -Rf docs/_themes; {0} submodule update --init'.format(git))
 os.chdir(wd)
 
 for item in os.listdir(parent):
-- 
cgit v1.2.3