Docs search is broken

[ewels]

Since a week or more ago, the docs search just hangs and never loads: https://www.nextflow.io/docs/latest/search.html?q=duration&check_keywords=yes&area=default

The browser console shows this:

Uncaught ReferenceError: Stemmer is not defined
    at Object.query (searchtools.js:158)
    at Object.setIndex (searchtools.js:98)
    at <anonymous>:1:8
    at b (jquery.js:2)
    at Function.globalEval (jquery.js:2)
    at text script (jquery.js:2)
    at jquery.js:2
    at l (jquery.js:2)
    at XMLHttpRequest.<anonymous> (jquery.js:2)

[pditommaso]

@abhi18av can you give it a look ?

[abhi18av]

Sure, I gave it a look and here's what I found.

1. The problem is due to a bug in the newer sphinx release as mentioned here Search never stops searching, fails sphinx-doc/sphinx#8623 and Searching docs broken: Stemmer is not defined neuronsimulator/nrn#888.
2. I think we can mitigate it by pinning the sphinx version on the CI
3. I tried building locally with the sphinx-2.1.2 and the search is working fine.

[pditommaso]

Solved upgrading sphynx theme to 0.5.2 4a165f4

[LyleLee]

Solved upgrading sphynx theme to 0.5.2 4a165f4

Upgrade sphinx-rtd-theme to 0.5.2 worked fine with me. Thanks.

pip install -U sphinx-rtd-theme

Installing collected packages: sphinx-rtd-theme
  Attempting uninstall: sphinx-rtd-theme
    Found existing installation: sphinx-rtd-theme 0.5.0
    Uninstalling sphinx-rtd-theme-0.5.0:
      Successfully uninstalled sphinx-rtd-theme-0.5.0
Successfully installed sphinx-rtd-theme-0.5.2