From 125a08bc31d07607d7bcf3f3f267caa251617c37 Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Thu, 9 May 2024 22:38:49 +0200 Subject: [PATCH] More redirects. --- .github/workflows/AOT_Possibilities.html | 11 +++++++++++ .github/workflows/pages.yml | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 .github/workflows/AOT_Possibilities.html 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 @@ +< + + + + +Redirect to AOT/AOT/AOT_Possibilities.html + + +Click here in case you are not redirected. + + 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: