fix(docs): handle changes in Sphinx 1.3.0

Author: mboersma

controller/dev_requirements.txt

@@ -8,9 +8,9 @@ termcolor==1.1.0
 git+https://github.com/pyinstaller/pyinstaller@7413317
 
 # Deis documentation requirements
-Sphinx>=1.2.3
-smartypants>=1.8.6
-sphinxcontrib-httpdomain>=1.3.0
+Sphinx==1.3.0
+smartypants==1.8.6
+sphinxcontrib-httpdomain==1.3.0
 
 # Run "make coverage" for the % of code exercised during tests
 coverage>=3.7.1

docs/README.md

@@ -27,7 +27,7 @@ Please add any issues you find with this documentation to the
     (docs)$ make server
     sphinx-build -b dirhtml -d _build/doctrees   . _build/dirhtml
     Making output directory...
-    Running Sphinx v1.2.3
+    Running Sphinx v1.3.0
     ...
     Build finished. The HTML pages are in _build/dirhtml.
     Serving HTTP on 0.0.0.0 port 8000 ...

docs/conf.py

@@ -149,7 +149,7 @@
 # typographically correct entities.
 html_use_smartypants = True
 
-html_add_permalinks = True
+# html_add_permalinks = '¶'
 
 # Custom sidebar templates, maps document names to template names.
 #html_sidebars = {}

docs/docs_requirements.txt

@@ -28,5 +28,5 @@ requests==2.5.1
 termcolor==1.1.0
 
 # Deis documentation requirements
-Sphinx>=1.2.3
-smartypants>=1.8.6
+Sphinx==1.3.0
+smartypants==1.8.6

docs/theme/deis/theme.conf

@@ -1,5 +1,5 @@
 [theme]
-inherit = default
+inherit = classic
 pygments_style = monokai
 
 [options]