Michael Hierweck
2020-04-01 a2fc059c00191fbd8b1e9d9e70f602ea943df9f1
source/conf.py
@@ -21,6 +21,7 @@
from subprocess import check_output
import sphinx_rtd_theme
print(check_output(['pwd',]))
changesetid = check_output(["git", "rev-parse", "--short", "HEAD"]).decode("utf-8")[:7]
numfig = True
@@ -44,11 +45,11 @@
# ones.
extensions = [
    'sphinx.ext.todo',
    'sphinx_rtd_theme',
    'sphinx.ext.graphviz'
    'sphinx.ext.graphviz',
    'hs.theme.sphinx'
]
todo_include_todos = True
todo_include_todos = False
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']
@@ -71,7 +72,7 @@
# The theme to use for HTML and HTML Help pages.  See the documentation for
# a list of builtin themes.
#
html_theme = 'sphinx_rtd_theme'
html_theme = 'hostsharing'
html_theme_options = {
    'logo_only': False,
    'display_version': True,