From 44a3db3dc668b28fa3892b3cd9fb2e14aa2d7c21 Mon Sep 17 00:00:00 2001 From: Bruno Oliveira Date: Thu, 6 Apr 2017 18:02:49 -0300 Subject: [PATCH] Pin sphinx to 1.4 when generating docs to workaround search issues on RTD Fix #2302 --- doc/en/requirements.txt | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 doc/en/requirements.txt diff --git a/doc/en/requirements.txt b/doc/en/requirements.txt new file mode 100644 index 000000000..72bb60a81 --- /dev/null +++ b/doc/en/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.*