From 6971ae4e407fc7f2ccb569a3324a7bc145233888 Mon Sep 17 00:00:00 2001
From: Jakob Stoklund Olesen <stoklund@2pi.dk>
Date: Thu, 7 Jul 2016 19:24:08 -0700
Subject: [PATCH] Fix the recommended Sphinx version.

The latest Sphinx 1.4.4 produces lots of warnings about four-column indices.
We'll wait for Read the Docs to upgrade their systems before moving to the newer
Sphinx version.
---
 README.rst | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.rst b/README.rst
index 0a26eae385..a80a23a283 100644
--- a/README.rst
+++ b/README.rst
@@ -42,8 +42,11 @@ Building the documentation
 To build the Cretonne documentation, you need the `Sphinx documentation
 generator <http://www.sphinx-doc.org/>`_::
 
-    $ pip install sphinx
+    $ pip install sphinx==1.3.5 sphinx-autobuild
     $ cd cretonne/docs
     $ make html
     $ open _build/html/index.html
 
+The specific Sphinx version is currently used by Read the Docs. Sphinx 1.4 has
+been released, but produces lots of warnings about four-column indices. We'll
+upgrade when Read the Docs does.