From 801a62b6f468e8aa04e2405da76d76c4842faf76 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Tue, 27 Jun 2023 17:41:17 +0100
Subject: [PATCH] Removed latest with mike 1.1.2

---
 latest/404.html                 | 16 ----------------
 latest/contact/index.html       | 16 ----------------
 latest/customization/index.html | 16 ----------------
 latest/deployment/index.html    | 16 ----------------
 latest/get-started/index.html   | 16 ----------------
 latest/index.html               | 16 ----------------
 latest/publications/index.html  | 16 ----------------
 latest/system/index.html        | 16 ----------------
 versions.json                   |  2 +-
 9 files changed, 1 insertion(+), 129 deletions(-)
 delete mode 100644 latest/404.html
 delete mode 100644 latest/contact/index.html
 delete mode 100644 latest/customization/index.html
 delete mode 100644 latest/deployment/index.html
 delete mode 100644 latest/get-started/index.html
 delete mode 100644 latest/index.html
 delete mode 100644 latest/publications/index.html
 delete mode 100644 latest/system/index.html

diff --git a/latest/404.html b/latest/404.html
deleted file mode 100644
index 8aa2a4a..0000000
--- a/latest/404.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../1.3/404.html" />
-  </noscript>
-  <script>
-    window.location.replace("../1.3/404.html" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../1.3/404.html">../1.3/404.html</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/contact/index.html b/latest/contact/index.html
deleted file mode 100644
index 7c8fd6d..0000000
--- a/latest/contact/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../1.3/contact/" />
-  </noscript>
-  <script>
-    window.location.replace("../../1.3/contact/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../1.3/contact/">../../1.3/contact/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/customization/index.html b/latest/customization/index.html
deleted file mode 100644
index 4f76fc4..0000000
--- a/latest/customization/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../1.3/customization/" />
-  </noscript>
-  <script>
-    window.location.replace("../../1.3/customization/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../1.3/customization/">../../1.3/customization/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/deployment/index.html b/latest/deployment/index.html
deleted file mode 100644
index d572a26..0000000
--- a/latest/deployment/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../1.3/deployment/" />
-  </noscript>
-  <script>
-    window.location.replace("../../1.3/deployment/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../1.3/deployment/">../../1.3/deployment/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/get-started/index.html b/latest/get-started/index.html
deleted file mode 100644
index bc2d813..0000000
--- a/latest/get-started/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../1.3/get-started/" />
-  </noscript>
-  <script>
-    window.location.replace("../../1.3/get-started/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../1.3/get-started/">../../1.3/get-started/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/index.html b/latest/index.html
deleted file mode 100644
index 249ba3d..0000000
--- a/latest/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../1.3/" />
-  </noscript>
-  <script>
-    window.location.replace("../1.3/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../1.3/">../1.3/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/publications/index.html b/latest/publications/index.html
deleted file mode 100644
index b3238e0..0000000
--- a/latest/publications/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../1.3/publications/" />
-  </noscript>
-  <script>
-    window.location.replace("../../1.3/publications/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../1.3/publications/">../../1.3/publications/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/latest/system/index.html b/latest/system/index.html
deleted file mode 100644
index 83630fe..0000000
--- a/latest/system/index.html
+++ /dev/null
@@ -1,16 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <meta charset="utf-8">
-  <title>Redirecting</title>
-  <noscript>
-    <meta http-equiv="refresh" content="1; url=../../1.3/system/" />
-  </noscript>
-  <script>
-    window.location.replace("../../1.3/system/" + window.location.hash);
-  </script>
-</head>
-<body>
-  Redirecting to <a href="../../1.3/system/">../../1.3/system/</a>...
-</body>
-</html>
\ No newline at end of file
diff --git a/versions.json b/versions.json
index 9fb2fdb..b52275a 100644
--- a/versions.json
+++ b/versions.json
@@ -1 +1 @@
-[{"version": "1.3", "title": "1.3", "aliases": ["latest"]}]
\ No newline at end of file
+[{"version": "1.3", "title": "1.3", "aliases": []}]
\ No newline at end of file
-- 
GitLab