Infra: Don't generate broken source link for topic pages (#2843)

2022-10-23 05:42:06 +02:00 · 2022-10-23 05:42:06 +02:00 · 1a931bf317
parent 1838f20010
commit 1a931bf317
1 changed files with 1 additions and 1 deletions
--- a/pep_sphinx_extensions/pep_theme/templates/page.html
+++ b/pep_sphinx_extensions/pep_theme/templates/page.html
@ -44,7 +44,7 @@
            <h2>Contents</h2>
            {{ toc }}
            <br>
-            {%- if not sourcename.startswith("pep-0000") %}
+            {%- if not (sourcename.startswith("pep-0000") or sourcename.startswith("topic")) %}
            <a id="source" href="https://github.com/python/peps/blob/main/{{sourcename}}">Page Source (GitHub)</a>
            {%- endif %}
        </nav>