Skip to content

Commit

Permalink
Fix the docs search bar
Browse files Browse the repository at this point in the history
[noissue]

(cherry picked from commit f327e6b)
  • Loading branch information
lubosmj committed Sep 9, 2023
1 parent 2e41fd1 commit 81c4322
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
6 changes: 4 additions & 2 deletions doc_requirements.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
plantuml
sphinx
sphinx-rtd-theme
sphinx<7.0
sphinx-rtd-theme==1.2.0
sphinxcontrib-jquery
sphinxcontrib-openapi
towncrier
2 changes: 1 addition & 1 deletion docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@

# Add any Sphinx extension module names here, as strings. They can be extensions
# coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
extensions = ['sphinx.ext.extlinks']
extensions = ['sphinx.ext.extlinks', 'sphinxcontrib.jquery']

# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']
Expand Down

0 comments on commit 81c4322

Please sign in to comment.