add/rm final files

.gitea/workflows/deploy.yml

@@ -0,0 +1,30 @@
+---
+name: Build and deploy documentation
+on:
+  push:
+    branches:
+      - master
+  workflow_dispatch:
+jobs:
+  build-and-deploy-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Configure git credentials
+        run: |
+          git config --global user.name "Gitea Actions"
+          git config --global user.email "actions@gitea.local"
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3"
+      - name: Install mkdocs-material
+        run: |
+          apt-get update
+          apt-get install -y pngquant
+          pip install \
+            mkdocs-material[recommended]=="9.7.*" \
+            mkdocs-material[git]=="9.7.*" \
+            mkdocs-material[imaging]=="9.7.*" \
+            mkdocs-glightbox=='0.5.*'
+      - name: Deploy documentation
+        run: mkdocs gh-deploy --force -b gitea-pages