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

wilfwilson · wilfwilson · commit d58215bfc8f1 · 2025-09-20T12:55:44.000+01:00
diff --git a/doc/index.md b/doc/index.md
@@ -0,0 +1,9 @@
+<html>
+  <head>
+    <meta http-equiv="refresh" content="0; url={{ site.data.package.www }}/doc/chap0_mj.html" />
+    <title>{{ site.data.package.name }} {{ site.data.package.version }} – The manual</title>
+  </head>
+  <body>
+    <a href="chap0_mj.html">Click to access the title page of the manual.</a>
+  </body>
+</html>
