diff options
| author | Adam Janovsky | 2022-05-01 20:25:53 +0200 |
|---|---|---|
| committer | Adam Janovsky | 2022-05-01 20:25:53 +0200 |
| commit | 7ff47777d6865b826cf0613e531f6ebece635bd5 (patch) | |
| tree | 18698c0c75418aba7486af953bd3ee7e2c4d96ce /docs | |
| parent | b4e575208791327b4eaf61040c39e8c31a01effb (diff) | |
| download | sec-certs-7ff47777d6865b826cf0613e531f6ebece635bd5.tar.gz sec-certs-7ff47777d6865b826cf0613e531f6ebece635bd5.tar.zst sec-certs-7ff47777d6865b826cf0613e531f6ebece635bd5.zip | |
add mybinder launch buttons for docs
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index c7f4c6ff..e6b76999 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -54,3 +54,12 @@ html_static_path = ["_static"] html_logo = "_static/logo.svg" html_favicon = "_static/logo_badge.svg" + +html_theme_options = { + "repository_url": "https://github.com/crocs-muni/sec-certs", + "repository_branch": "issue/195-Docs", + "launch_buttons": {"binderhub_url": "https://mybinder.org"}, +} + +# Don't exeute notbooks +nb_execution_mode = "off" |