diff --git a/docs/conf.py b/docs/conf.py index adfa235251..50187b4215 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -203,6 +203,16 @@ def _load_theme( # a list of builtin themes. html_theme = HTML_THEME +print("Using theme: " + HTML_THEME) + +### Edit on GitHub feature, inherited by renku theme from rtd theme +html_context = { + 'display_github': True, + 'github_user': 'teemtee', + 'github_repo': 'tmt', + 'github_version': 'main/docs/' + } + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation.