浏览代码

docs: theme fixes

- register theme as extension
- add sphinxcontrib.jquery

The html generated uses jquery ($(...)),
but sphinx does not include it anymore since a while.
Thomas Waldmann 1 月之前
父节点
当前提交
3aac1fe089
共有 2 个文件被更改,包括 4 次插入0 次删除
  1. 3 0
      docs/conf.py
  2. 1 0
      requirements.d/docs.txt

+ 3 - 0
docs/conf.py

@@ -111,6 +111,7 @@ def set_rst_settings(app):
 
 
 def setup(app):
+    app.setup_extension('sphinxcontrib.jquery')
     app.add_css_file('css/borg.css')
     app.connect('builder-inited', set_rst_settings)
 
@@ -256,6 +257,8 @@ extensions = [
     'sphinx.ext.todo',
     'sphinx.ext.coverage',
     'sphinx.ext.viewcode',
+    'sphinxcontrib.jquery',  # jquery is not included anymore by default
+    'guzzle_sphinx_theme',  # register the theme as an extension to generate a sitemap.xml
 ]
 
 extlinks = {

+ 1 - 0
requirements.d/docs.txt

@@ -1,2 +1,3 @@
 sphinx
+sphinxcontrib-jquery
 guzzle_sphinx_theme