- Add notfound page

Change-Id: Ie62014ff70c2a517e11ac76f8022f87f706020df

diff --git a/doc/build/conf.py b/doc/build/conf.py
index f950ef839e619528176e0c1aa13fb35e672fdbfa..3931f34cf62174a5044a07d218cb511144be3d4f 100644 (file)
--- a/doc/build/conf.py
+++ b/doc/build/conf.py
@@ -209,7 +209,9 @@ html_last_updated_fmt = '%m/%d/%Y %H:%M:%S'
 
 # Additional templates that should be rendered to pages, maps page names to
 # template names.
-#html_additional_pages = {}
+html_additional_pages = {
+    "notfound": "notfound.html"
+}
 
 # If false, no module index is generated.
 html_domain_indices = False