Build our docs with a custom 404 page

It uses the external sphinx-notfound-page extension for this.

Author: humitos

docs/conf.py

@@ -81,6 +81,18 @@
 # Activate autosectionlabel plugin
 autosectionlabel_prefix_document = True
 
+# sphinx-notfound-page
+# https://github.com/rtfd/sphinx-notfound-page
+notfound_context = {
+    'body': '''
+<h1>Page not found</h1>
+
+<p>Sorry, we couldn't find that page.</p>
+
+<p>Try using the search box or go to the homepage.</p>
+''',
+}
+
 
 def setup(app):
     app.add_stylesheet('css/sphinx_prompt_css.css')

requirements/local-docs-build.txt

@@ -1,6 +1,6 @@
 -r pip.txt
 
-# Base packages 
+# Base packages
 docutils==0.14
 Sphinx==1.8.3
 sphinx_rtd_theme==0.4.2
@@ -17,5 +17,6 @@ Markdown==3.0.1
 # Docs
 sphinxcontrib-httpdomain==1.7.0
 sphinx-prompt==1.0.0
+sphinx-notfound-page==0.1
 commonmark==0.8.1
 recommonmark==0.5.0