From 8f29f444365f955a4457ce4e56d62dd24f694fdc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Wed, 19 Apr 2017 16:10:27 +0200
Subject: [PATCH] Pin sphinx to 1.4 when generating docs to workaround search
 issues on RTD

Works around https://github.com/rtfd/readthedocs.org/issues/2708 and fixes #360.
Patch from @nicoddemus.
---
 requirements.txt | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 requirements.txt

diff --git a/requirements.txt b/requirements.txt
new file mode 100644
index 000000000..72bb60a81
--- /dev/null
+++ b/requirements.txt
@@ -0,0 +1,3 @@
+# pinning sphinx to 1.4.* due to search issues with rtd:
+# https://github.com/rtfd/readthedocs-sphinx-ext/issues/25
+sphinx ==1.4.*