Add redirect to doc

boostorg · Jun 15, 2016 · fec2335 · fec2335
1 parent 9da3bc9
commit fec2335
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/doc/_templates/redirect.html b/doc/_templates/redirect.html
@@ -0,0 +1,15 @@
+<!DOCTYPE HTML>
+<html lang="en-US">
+    <head>
+        <meta charset="UTF-8">
+        <meta http-equiv="refresh" content="1;url=doc/">
+        <script type="text/javascript">
+            window.location.href = "doc/"
+        </script>
+        <title>Page Redirection</title>
+    </head>
+    <body>
+        <!-- Note: don't tell people to `click` the link, just tell them that it is a link. -->
+        If you are not redirected automatically, follow the <a href='doc/'>link to example</a>
+    </body>
+</html>
diff --git a/doc/conf.py b/doc/conf.py
@@ -219,7 +219,9 @@ def parse_version():
 # Additional templates that should be rendered to pages, maps page names to
 # template names.
 #
-# html_additional_pages = {}
+html_additional_pages = {
+    'index': 'redirect.html',
+}
 
 # If false, no module index is generated.
 #