Add "Edit on Github" button

This commit is contained in:
parulin 2025-07-27 17:11:51 -04:00
parent ba609d123e
commit 9febba9b39
No known key found for this signature in database
GPG key ID: BC3830B42F4BF1F5

View file

@ -87,6 +87,14 @@ gettext_compact = False
locale_dirs = ['_translated']
html_context = {
"display_github": True,
"github_user": "QubesOS",
"github_repo": "qubes-doc",
"github_version": "main",
"conf_py_path": "/",
}
# from https://gist.github.com/ehles/bed012d78aad5d3cd6c35a49bef32f9f
def align(argument):
"""Conversion function for the "align" option."""