aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2021-07-22 11:14:09 -0700
committerSean Whitton <spwhitton@spwhitton.name>2021-07-24 12:09:09 -0700
commitcac61106011c3d5ff61536ae9d9ac3809bcdf887 (patch)
treed098d8f56e9f8a7b7de81b485154a24a28832cd5
parentd5bbb9623d35da11d64d1aeb51c41639c1fd2f3c (diff)
downloadconsfigurator-cac61106011c3d5ff61536ae9d9ac3809bcdf887.tar.gz
switch manual's Sphinx theme to sphinx_rtd_theme
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
-rw-r--r--debian/control1
-rw-r--r--doc/conf.py2
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index ca26690..60cb533 100644
--- a/debian/control
+++ b/debian/control
@@ -18,6 +18,7 @@ Build-Depends:
python3-sphinx,
sbcl,
sphinx-common,
+ python3-sphinx-rtd-theme,
texinfo,
Standards-Version: 4.5.1
Homepage: https://spwhitton.name/tech/code/consfigurator/
diff --git a/doc/conf.py b/doc/conf.py
index 0bf86c6..445300a 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -49,7 +49,7 @@ highlight_language = 'common-lisp'
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
#
-html_theme = 'haiku'
+html_theme = 'sphinx_rtd_theme'
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,