Use sphinx-notfound-page to create a 404 page matching the theme (#1042)

Author: hugovk

conf.py

@@ -7,6 +7,7 @@
 
 extensions = [
     'custom_roles',
+    'notfound.extension',
     'sphinx.ext.intersphinx',
     'sphinx.ext.todo',
     'sphinx_copybutton',
@@ -140,6 +141,9 @@
 
 todo_include_todos = True
 
+# sphinx-notfound-page
+notfound_urls_prefix = "/"
+
 # sphinxext-opengraph config
 ogp_site_url = "https://devguide.python.org/"
 ogp_site_name = "Python Developer's Guide"

requirements.txt

@@ -2,6 +2,7 @@ Sphinx==6.1.3
 furo>=2022.6.4
 jinja2
 sphinx-lint==0.6.7
+sphinx-notfound-page
 sphinx_copybutton>=0.3.3
 sphinxext-opengraph>=0.7.1
 sphinxext-rediraffe