Add doc/index.md to auto-redirect doc/ to manual

wilfwilson · wilfwilson · commit aa164e519e8b · 2025-09-26T14:00:03.000+01:00
diff --git a/doc/index.md b/doc/index.md
@@ -0,0 +1,12 @@
+---
+layout: null
+---
+<html>
+  <head>
+    <meta http-equiv="refresh" content="0; url=../{{site.data.package.doc-html}}" />
+    <title>The manual</title>
+  </head>
+  <body>
+    <a href="../{{site.data.package.doc-html}}">Click to access the title page of the manual.</a>
+  </body>
+</html>
