Skip to content

Commit

Permalink
Update Sphinx package version to 7.2.6 (#4948)
Browse files Browse the repository at this point in the history
Add sphinxcontrib.jquery to extensions for functional searching.
  • Loading branch information
big-r81 committed Jan 5, 2024
1 parent b466729 commit db4cb37
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
1 change: 1 addition & 0 deletions src/docs/requirements.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
Sphinx==7.2.6
sphinx-rtd-theme==2.0.0
sphinxcontrib-httpdomain==1.8.1
sphinxcontrib-jquery==4.1
4 changes: 1 addition & 3 deletions src/docs/src/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -19,12 +19,11 @@

sys.path.insert(0, os.path.abspath("../ext"))

needs_sphinx = "5.1.1"

extensions = [
"sphinx.ext.todo",
"sphinx.ext.extlinks",
"sphinxcontrib.httpdomain",
"sphinxcontrib.jquery",
"configdomain",
]

Expand Down Expand Up @@ -70,7 +69,6 @@
html_additional_pages = {"download": "pages/download.html", "index": "pages/index.html"}

html_context = {
"ga_code": "UA-658988-6",
# Enable the "Edit in GitHub link within the header of each page.
"display_github": False,
# Set the following variables to generate the resulting github URL for each page.
Expand Down

0 comments on commit db4cb37

Please sign in to comment.