changed copy path for pages.

.gitea/workflows/deploy-pages.yml

@@ -42,7 +42,7 @@ jobs:
         run: |
           git checkout --orphan gitea-pages
           git reset --hard
-          cp -r ./technical/html/* .
+          cp -r ./doc/technical/html/* .
           git add .
           git commit -m "Deploy site"
           git push -f https://${{secrets.GITHUB_TOKEN}}@gitea.psi.ch/${{ github.repository }}.git gitea-pages