From 1de30ff6b50cebd479911aaf69519b8be75a28a0 Mon Sep 17 00:00:00 2001 From: Christian Kreibich Date: Thu, 2 Nov 2023 18:09:19 -0700 Subject: [PATCH] Fix Github edit links in top-right of HTML pages These links 404'd because they omitted the file suffix, and they didn't really link to anything editable, just the raw file. --- doc/_templates/breadcrumbs.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/_templates/breadcrumbs.html b/doc/_templates/breadcrumbs.html index 0ce26f7d..8a4aa54a 100644 --- a/doc/_templates/breadcrumbs.html +++ b/doc/_templates/breadcrumbs.html @@ -5,7 +5,7 @@ {% if pagename != "search" %} {% if display_github %} {% if github_version == "master" %} - {{ _('Edit on GitHub') }} + {{ _('Edit on GitHub') }} {% endif %} {% elif show_source and has_source and sourcename %} {{ _('View page source') }}