Docs: fix RTD Sphinx build, update deps

This commit is contained in:
Mike Edmunds
2023-08-25 12:19:05 -07:00
parent 6c5b6b76fc
commit 42dbfcf2c4
3 changed files with 11 additions and 17 deletions

View File

@@ -31,7 +31,7 @@ needs_sphinx = "1.0"
# 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.intersphinx", "sphinx.ext.extlinks"]
extensions = ["sphinx.ext.intersphinx", "sphinx.ext.extlinks", "sphinx_rtd_theme"]
# Add any paths that contain templates here, relative to this directory.
templates_path = ["_templates"]
@@ -98,12 +98,7 @@ pygments_style = "sphinx"
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
if not ON_READTHEDOCS: # only import and set the theme if we're building docs locally
import sphinx_rtd_theme # this seems to come with sphinx; if not, pip install it
html_theme = "sphinx_rtd_theme"
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
# else readthedocs.org uses their theme by default (and specifying it here breaks them)
html_theme = "sphinx_rtd_theme"
# 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
@@ -261,7 +256,7 @@ texinfo_documents = [
# -- Options for extlinks ---------------------------------------------------
extlinks = {
"pypi": ("https://pypi.org/project/%s/", ""),
"pypi": ("https://pypi.org/project/%s/", "%s"),
}
# -- Options for Intersphinx ------------------------------------------------