Skip to content

Commit 35937a8

Browse files
Merge branch 'main' into add-pep-790
2 parents 947b16e + 6560f7a commit 35937a8

File tree

5 files changed

+10
-3
lines changed

5 files changed

+10
-3
lines changed

.github/workflows/render.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ jobs:
2323
matrix:
2424
python-version:
2525
- "3.x"
26-
- "3.13-dev"
26+
- "3.14-dev"
2727

2828
steps:
2929
- name: Checkout

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ htmllive: _ensure-sphinx-autobuild html
4040
.PHONY: dirhtml
4141
dirhtml: BUILDER = dirhtml
4242
dirhtml: html
43+
mv $(BUILDDIR)/404/index.html $(BUILDDIR)/404.html
4344

4445
## linkcheck to check validity of links within PEP sources
4546
.PHONY: linkcheck

pep_sphinx_extensions/pep_theme/templates/page.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -49,12 +49,12 @@ <h1>Python Enhancement Proposals</h1>
4949
<article>
5050
{{ body }}
5151
</article>
52-
{%- if not pagename == "numerical" %}
52+
{%- if not pagename.startswith(("404", "numerical")) %}
5353
<nav id="pep-sidebar">
5454
<h2>Contents</h2>
5555
{{ toc }}
5656
<br>
57-
{%- if not pagename.startswith(("numerical", "pep-0000", "topic")) %}
57+
{%- if not pagename.startswith(("pep-0000", "topic")) %}
5858
<a id="source" href="https://github.com/python/peps/blob/main/peps/{{pagename}}.rst">Page Source (GitHub)</a>
5959
{%- endif %}
6060
</nav>

peps/conf.py

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@
1919

2020
# Add any Sphinx extension module names here, as strings.
2121
extensions = [
22+
"notfound.extension",
2223
"pep_sphinx_extensions",
2324
"sphinx.ext.extlinks",
2425
"sphinx.ext.intersphinx",
@@ -85,6 +86,10 @@
8586
"pypi": ("https://pypi.org/project/%s/", "%s"),
8687
}
8788

89+
# sphinx-notfound-page
90+
# https://sphinx-notfound-page.readthedocs.io/en/latest/faq.html#does-this-extension-work-with-github-pages
91+
notfound_urls_prefix = None
92+
8893
# -- Options for HTML output -------------------------------------------------
8994

9095
_PSE_PATH = _ROOT / "pep_sphinx_extensions"

requirements.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ Pygments >= 2.9.0
44
# See https://github.com/sphinx-doc/sphinx/pull/11100
55
Sphinx >= 5.1.1, != 6.1.0, != 6.1.1, < 8.1.0
66
docutils >= 0.19.0
7+
sphinx-notfound-page >= 1.0.2
78

89
# For tests
910
pytest

0 commit comments

Comments
 (0)