Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/readthedocs/sphinx_rtd_theme.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2018-10-01 17:49:31 +0300
committerAaron Carlisle <carlisle.b3d@gmail.com>2018-10-01 17:49:31 +0300
commitebbf3d1697c6518a3e398144610b9951bd7ab583 (patch)
tree79ea37bbd2cf5c8528c45c789d855cb79d0f80c6 /package.json
parent310043695f75cac495f8bde089a301e53f46d6db (diff)
Fix HTML search not working with Sphinx-1.8. (#672)
* Fix HTML search not working Since Sphinx-1.7, Sphinx has exported search options as `documentation_options.js`. This starts to refer it instead of definitions of JavaScript variables. In addition, this also uses `js_tag()` function which added in 1.8 to support additional attributes for scripts (ex. async attribute). * Add code comment
Diffstat (limited to 'package.json')
0 files changed, 0 insertions, 0 deletions