Changes Docs system to Zensical

.gitea/workflows/deploy-pages.yml

@@ -15,18 +15,14 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v4
 
-      - name: Install theme
+      - name: Install Zensical
         run: |
-          /opt/python-env/bin/pip install mkdocs-material
+          /opt/python-env/bin/pip install zensical
 
-      - name: Install Syntax highlightning
-        run: |
-          /opt/python-env/bin/pip install pygments
-
-      - name: Build mkdocs
+      - name: Build Zensical docs
         run: |
           export TZ="Europe/Zurich"
-          /opt/python-env/bin/mkdocs build --site-dir public
+          /opt/python-env/bin/zensical build --clean
 
       - name: Configure Git
         run: |
@@ -37,8 +33,7 @@ jobs:
         run: |
           git checkout --orphan gitea-pages
           git reset --hard
-          cp -r ./public/* .
+          cp -r ./site/* .
           git add .
-          git commit -m "Deploy site"
-          git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/${{ github.repository }}.git gitea-pages
-
+          git commit -m "Deploy Zensical site"
+          git push -f https://${{ secrets.GITHUB_TOKEN }}@gitea.psi.ch/${{ github.repository }}.git gitea-pages