changed theme to classic, as a test

RENCI · Dec 6, 2023 · a58a5f4 · a58a5f4
1 parent 8003623
commit a58a5f4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/doc/Makefile b/doc/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line, and also
 # from the environment for the first two.
-SPHINXOPTS    ?=
+SPHINXOPTS    ?= 
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build

diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -29,8 +29,8 @@
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
-html_theme = "sphinx_rtd_theme"
-html_static_path = ["_static"]
+html_theme = "classic" # "sphinx_rtd_theme" # "classic"
+html_static_path = []
 
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = True