diff --git a/Makefile b/Makefile index 373a8a1ee11..52cc4e27957 100644 --- a/Makefile +++ b/Makefile @@ -40,6 +40,7 @@ htmllive: _ensure-sphinx-autobuild html .PHONY: dirhtml dirhtml: BUILDER = dirhtml dirhtml: html + mv $(BUILDDIR)/404/index.html $(BUILDDIR)/404.html ## linkcheck to check validity of links within PEP sources .PHONY: linkcheck diff --git a/peps/conf.py b/peps/conf.py index f566a42ee53..8205e011ba3 100644 --- a/peps/conf.py +++ b/peps/conf.py @@ -19,6 +19,7 @@ # Add any Sphinx extension module names here, as strings. extensions = [ + "notfound.extension", "pep_sphinx_extensions", "sphinx.ext.extlinks", "sphinx.ext.intersphinx", @@ -85,6 +86,10 @@ "pypi": ("https://pypi.org/project/%s/", "%s"), } +# sphinx-notfound-page +# https://sphinx-notfound-page.readthedocs.io/en/latest/faq.html#does-this-extension-work-with-github-pages +notfound_urls_prefix = None + # -- Options for HTML output ------------------------------------------------- _PSE_PATH = _ROOT / "pep_sphinx_extensions" diff --git a/requirements.txt b/requirements.txt index ffb858ea649..ffcbe1a8aa6 100644 --- a/requirements.txt +++ b/requirements.txt @@ -4,6 +4,7 @@ Pygments >= 2.9.0 # See https://github.com/sphinx-doc/sphinx/pull/11100 Sphinx >= 5.1.1, != 6.1.0, != 6.1.1, < 8.1.0 docutils >= 0.19.0 +sphinx-notfound-page >= 1.0.2 # For tests pytest