diff --git a/.github/workflows/AOT_Possibilities.html b/.github/workflows/AOT_Possibilities.html
new file mode 100644
index 0000000..5450433
--- /dev/null
+++ b/.github/workflows/AOT_Possibilities.html
@@ -0,0 +1,11 @@
+<<!DOCTYPE html>
+<html>
+<head>
+<meta charset="utf-8">
+<meta http-equiv="refresh" content="0; URL=AOT/AOT/AOT_Possibilities.html">
+<title>Redirect to AOT/AOT/AOT_Possibilities.html</title>
+</head>
+<body>
+<a href="AOT/AOT/AOT_Possibilities.html">Click here in case you are not redirected.</a>
+</body>
+</html>
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 6a0486c..1fd5206 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -24,7 +24,7 @@ jobs:
       - name: Patch pages.
         run: .github/workflows/patch_pages.py build/AOT/AOT/*.html
       - name: Replace index.
-        run: cp .github/workflows/index.html build
+        run: cp .github/workflows/*.html build
       - name: Deploy github pages.
         uses: JamesIves/github-pages-deploy-action@4.1.4
         with:
