Commit 040cdde4 authored by Jeremy Newton's avatar Jeremy Newton
Browse files

Merge branch 'master' into 'master'

Fix read the docs build

See merge request !12
parents 20746264 f3452e00
Loading
Loading
Loading
Loading
+2 −2
Changes for .readthedocs.yaml: 2 added lines, 2 removed lines.
Original line number Diff line number Diff line
@@ -5,9 +5,9 @@
version: 2

build:
  os: ubuntu-20.04
  os: ubuntu-24.04
  tools:
    python: "3.9"
    python: "3.12"

sphinx:
   configuration: source/conf.py
+5 −5
Changes for piprequirements.txt: 5 added lines, 5 removed lines.
Original line number Diff line number Diff line
sphinx < 2
docutils < 0.18
sphinx_rtd_theme < 0.5
readthedocs-sphinx-ext < 2.2
Jinja2 < 3.1.0
sphinx
docutils
sphinx_rtd_theme
readthedocs-sphinx-ext
Jinja2
+1 −2
Changes for source/conf.py: 1 added line, 2 removed lines.
Original line number Diff line number Diff line
@@ -65,7 +65,7 @@ release = u'unknown-build'
#
# This is also used if you do content translation via gettext catalogs.
# Usually you set "language" from the command line for these cases.
language = None
language = 'en'

# There are two options for replacing |today|: either, you set today to some
# non-false value, then it is used:
@@ -115,7 +115,6 @@ if tags.has('sphinxcompat'):
else :
	import sphinx_rtd_theme
	html_theme = 'sphinx_rtd_theme'
	html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]

# Theme options are theme-specific and customize the look and feel of a theme
# further.  For a list of options available for each theme, see the