1. 2f47319 [ci skip] Merge pull request #5188 from ryanbriscall/update-sphinx-version-userguide-src by Andrey Andreev · 7 years ago
  2. 7622ec6 [ci skip] Specify sphinxcontrib-phpdomain 0.1.3.post1 version by Andrey Andreev · 8 years ago
  3. b4214c7 Specify sphinx version (fixes #3275) by James L Parry · 10 years ago
  4. 8ede1a2 replacing the old HTML user guide with a Sphinx-managed user guide by Derek Jones · 13 years ago