From 4ef19bdea56c36ca1234f9ea66e7f55f9686a153 Mon Sep 17 00:00:00 2001 From: Martin Weise <martin.weise@tuwien.ac.at> Date: Tue, 27 Jun 2023 15:34:00 +0100 Subject: [PATCH] Set default version to latest with mike 1.1.2 --- index.html | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 index.html diff --git a/index.html b/index.html new file mode 100644 index 0000000..e2bb4dc --- /dev/null +++ b/index.html @@ -0,0 +1,16 @@ +<!DOCTYPE html> +<html> +<head> + <meta charset="utf-8"> + <title>Redirecting</title> + <noscript> + <meta http-equiv="refresh" content="1; url=latest/" /> + </noscript> + <script> + window.location.replace("latest/" + window.location.hash); + </script> +</head> +<body> + Redirecting to <a href="latest/">latest/</a>... +</body> +</html> \ No newline at end of file -- GitLab