From 6f9982fdf5d4398176e2939efb2d821e630678d2 Mon Sep 17 00:00:00 2001
From: Caroline Cullen <cullen.caroline@gmail.com>
Date: Fri, 3 Aug 2018 13:07:12 -0700
Subject: [PATCH] Updating Sphinx link and install instructions

---
 cranelift/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cranelift/README.md b/cranelift/README.md
index 9011d4b752..2ce83df9f6 100644
--- a/cranelift/README.md
+++ b/cranelift/README.md
@@ -126,7 +126,7 @@ Building the documentation
 --------------------------
 
 To build the Cranelift documentation, you need the [Sphinx documentation
-generator](https://www.sphinx-doc.org/):
+generator](http://www.sphinx-doc.org/) as well as Python 3::
 
     $ pip install sphinx sphinx-autobuild sphinx_rtd_theme
     $ cd cranelift/docs