Create root index.html for mkdocs deployed with mike (redirect to latest) (#614)

This commit is contained in:
David Linke 2024-08-26 08:33:26 +02:00 committed by GitHub
parent 9cc8d4e570
commit 260186253c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

18
index.html Normal file
View file

@ -0,0 +1,18 @@
<!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.search + window.location.hash
);
</script>
</head>
<body>
Redirecting to <a href="latest/">latest/</a>...
</body>
</html>