Fixed 'Edit on Github' not working

This commit is contained in:
Dominik Moritz Roth 2024-01-18 18:34:09 +01:00
parent 4aca2d05e5
commit 2a8845bacf

View File

@ -46,7 +46,7 @@ html_context = {
'display_github': True,
'github_user': 'ALRhub',
'github_repo': 'fancy_gym',
'github_version': 'release/docs/source',
'github_version': 'release/docs/source/',
}
def setup(app):