From 5cdee8729af657df1a72b97c3847558b11a5c63f Mon Sep 17 00:00:00 2001
From: James Robinson <james.em.robinson@gmail.com>
Date: Wed, 4 Aug 2021 16:11:34 +0100
Subject: [PATCH] :recycle: Added a redirecting index page

---
 .github/workflows/build_docs.yaml | 2 ++
 _config.yml => docs/_config.yml   | 0
 _toc.yml => docs/_toc.yml         | 0
 3 files changed, 2 insertions(+)
 rename _config.yml => docs/_config.yml (100%)
 rename _toc.yml => docs/_toc.yml (100%)

diff --git a/.github/workflows/build_docs.yaml b/.github/workflows/build_docs.yaml
index 0fab9def5..8caca372f 100644
--- 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 b/docs/_config.yml
similarity index 100%
rename from _config.yml
rename to docs/_config.yml
diff --git a/_toc.yml b/docs/_toc.yml
similarity index 100%
rename from _toc.yml
rename to docs/_toc.yml