diff options
author | eine <eine@users.noreply.github.com> | 2021-01-01 05:59:23 +0100 |
---|---|---|
committer | eine <eine@users.noreply.github.com> | 2021-01-01 20:34:15 +0100 |
commit | b423d31131ccc695de3b3015b91307e9e72ae821 (patch) | |
tree | 0498b83e208692be6a4fd493d074dacec66e2aaf /doc/conf.py | |
parent | 73b75b927177d2d6553e6b86e325537a38f39527 (diff) | |
download | ghdl-b423d31131ccc695de3b3015b91307e9e72ae821.tar.gz ghdl-b423d31131ccc695de3b3015b91307e9e72ae821.tar.bz2 ghdl-b423d31131ccc695de3b3015b91307e9e72ae821.zip |
logo: add new bit logo
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index ced332c9a..cf5be89e3 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -99,6 +99,8 @@ except Exception as ex: # -- Options for HTML output ---------------------------------------------- +html_logo = '_static/img/logo.png' + html_theme_options = { 'logo_only': True, 'home_breadcrumbs': False, @@ -116,6 +118,9 @@ html_theme = "_theme" html_static_path = ['_static'] html_extra_path = [str(Path(__file__).resolve().parent.parent / 'public')] +html_logo = str(Path(html_static_path[0]) / 'logo.png') +html_favicon = str(Path(html_static_path[0]) / 'icon.png') + # Output file base name for HTML help builder. htmlhelp_basename = 'GHDLdoc' |