diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2021-07-22 11:14:09 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2021-07-24 12:09:09 -0700 |
| commit | cac61106011c3d5ff61536ae9d9ac3809bcdf887 (patch) | |
| tree | d098d8f56e9f8a7b7de81b485154a24a28832cd5 /doc | |
| parent | d5bbb9623d35da11d64d1aeb51c41639c1fd2f3c (diff) | |
| download | consfigurator-cac61106011c3d5ff61536ae9d9ac3809bcdf887.tar.gz | |
switch manual's Sphinx theme to sphinx_rtd_theme
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
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, |