diff options
-rw-r--r-- | doc/build/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/build/conf.py b/doc/build/conf.py index f950ef839..3931f34cf 100644 --- 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 |