Remove old rtd theme. Use pyramid theme on local builds. Default on readthedocs.

tony · tony · commit b6bbad02d9c1 · 2013-11-05T17:44:25.000+08:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1 @@
 
-[submodule "doc/_themes"]
-	path = doc/_themes
-	url = https://github.com/ericholscher/readthedocs-sphinx.git
diff --git a/doc/_themes b/doc/_themes
diff --git a/doc/conf.py b/doc/conf.py
@@ -114,7 +114,7 @@
 if on_rtd:
     html_theme = 'default'
 else:
-    html_theme = 'rtd'
+    html_theme = 'pyramid'
 
 #html_theme = 'sphinx_rtd_theme'
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1 @@`
`1`	`1`
`2`		`-[submodule "doc/_themes"]`
`3`		`- path = doc/_themes`
`4`		`- url = https://github.com/ericholscher/readthedocs-sphinx.git`