diff --git a/.github/workflows/run_docs.yml b/.github/workflows/run_docs.yml
index 56c99748..385aa2b9 100644
--- a/.github/workflows/run_docs.yml
+++ b/.github/workflows/run_docs.yml
@@ -31,10 +31,16 @@ jobs:
with:
expression: ".#docs"
+ - name: Patch 404.html 🩹
+ run: |
+ cp -r ${{ steps.build.outputs.derivation }}/. dist
+ chmod -R +w dist
+ sed -i 's|||' dist/404.html
+
- name: Upload documentation 📥
uses: actions/upload-pages-artifact@v3
with:
- path: ${{ steps.build.outputs.derivation }}
+ path: dist
- name: Deploy to GitHub Pages 🚀
if: github.ref == 'refs/heads/main'