Merge pull request 'chore: Remove old docs and fix pipeline' (!314) from docs/ci into main

Reviewed-on: #314
Reviewed-by: Jan-Marlon Leibl <jleibl@proton.me>

.gitea/workflows/docs.yml

@@ -1,6 +1,7 @@
 name: Build docs
 
 on:
+  pull_request:
   push:
     branches: [main]
 
@@ -11,18 +12,18 @@ jobs:
       image: git.kjan.de/actions/runner-latex:latest
     env:
       # Edit here with the names of your latex file and directory (can use ".")
-      DIR: docs
+      DIR: projektdokumentation
-      FILE: projektdokumentation.tex
+      FILE: Projektdokumentation.tex
     steps:
       - name: Checkout
         uses: actions/checkout@v4
 
       - name: LaTeX compile
         working-directory: ${{ env.DIR }}
-        run: latexmk -pdf -xelatex ${{ env.FILE }}
+        run: latexmk -pdf ${{ env.FILE }}
 
       - name: Upload artifacts
         uses: https://git.kjan.de/actions/upload-artifact@v3 # Do not upgrade
         with:
           name: Doku
-          path: docs/projektdokumentation.pdf
+          path: projektdokumentation/Projektdokumentation.pdf