gcontini
2020-03-22 d5c62b2bf602374febf5f4cc8c3d47a23f80ab27
doc/conf.py
@@ -33,7 +33,7 @@
# ones.
extensions = ['sphinx.ext.todo',
    'sphinx.ext.githubpages', 'breathe', 'recommonmark', 'sphinx_markdown_tables', 'sphinx_rtd_theme',
    'sphinx_sitemap','sphinx.ext.autosectionlabel' ]
    'sphinxemoji.sphinxemoji', 'sphinx_sitemap','sphinx.ext.autosectionlabel' ]
autosectionlabel_prefix_document = True
@@ -186,5 +186,7 @@
# Sitemap plugin
html_baseurl = 'http://open-license-manager.github.io/open-license-manager'
sphinxemoji_style = 'twemoji'
#html_logo = "_static/lock_32.png"
html_favicon="_static/lock_32.ico"