1 files changed, 0 insertions, 56 deletions
diff --git a/docs/404.html b/docs/404.html
deleted file mode 100644
index 57e4984..0000000
--- a/docs/404.html
+++ /dev/null
@@ -1,56 +0,0 @@
-<!DOCTYPE html>
-<html>
-  <head>
-    <meta charset="utf-8" />
-    <title>Lustre</title>
-
-    <script type="module">
-      // Single Page Apps for GitHub Pages
-      // MIT License
-      // https://github.com/rafgraph/spa-github-pages
-      // This script takes the current url and converts the path and query
-      // string into just a query string, and then redirects the browser
-      // to the new url with only a query string and hash fragment,
-      // e.g. https://www.foo.tld/one/two?a=b&c=d#qwe, becomes
-      // https://www.foo.tld/?/one/two&a=b~and~c=d#qwe
-      // Note: this 404.html file must be at least 512 bytes for it to work
-      // with Internet Explorer (it is currently > 512 bytes)
-
-      // If you're creating a Project Pages site and NOT using a custom domain,
-      // then set pathSegmentsToKeep to 1 (enterprise users may need to set it to > 1).
-      // This way the code will only replace the route part of the path, and not
-      // the real directory in which the app resides, for example:
-      // https://username.github.io/repo-name/one/two?a=b&c=d#qwe becomes
-      // https://username.github.io/repo-name/?/one/two&a=b~and~c=d#qwe
-      // Otherwise, leave pathSegmentsToKeep as 0.
-      const pathSegmentsToKeep = import.meta.env.BASE_URL === "/" ? 0 : 1;
-
-      if (window.location.pathname.startsWith("/lustre")) {
-        const protocol = window.location.protocol;
-        const hostname = window.location.hostname;
-        const port = window.location.port;
-        const pathname = window.location.pathname
-          .split("/")
-          .slice(0, 1 + pathSegmentsToKeep)
-          .join("/");
-        const query = window.location.pathname
-          .slice(1)
-          .split("/")
-          .slice(pathSegmentsToKeep)
-          .join("/")
-          .replace(/&/g, "~and~");
-        const search = window.location.search
-          ? "&" + window.location.search.slice(1).replace(/&/g, "~and~")
-          : "";
-        const hash = window.location.hash;
-
-        window.location.replace(
-          `${protocol}//${hostname}${
-            port ? ":" + port : ""
-          }${pathname}/?/${query}${search}${hash}`
-        );
-      }
-    </script>
-  </head>
-  <body></body>
-</html>