♻️ Added a redirecting index page

alan-turing-institute · Aug 4, 2021 · 5cdee87 · 5cdee87
1 parent a60ef6e
commit 5cdee87
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/build_docs.yaml b/.github/workflows/build_docs.yaml
@@ -29,8 +29,10 @@ jobs:
       - name: Build latest documentation
         shell: bash
         run: |
+          mv docs/* .
           make clean
           make
+          mv index.html _build
       - name: Deploy documentation to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@5dc1d5a192aeb5ab5b7d5a77b7d36aea4a7f5c92 # This is version 4.1.4
         with:

diff --git a/_config.yml → docs/_config.yml b/_config.yml → docs/_config.yml
diff --git a/_toc.yml → docs/_toc.yml b/_toc.yml → docs/_toc.yml