chore: Remove old docs and fix pipeline #314

Merged
jank merged 1 commit from docs/ci into main 2025-06-12 07:25:27 +00:00
2 changed files with 5 additions and 1355 deletions

View file

@ -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
FILE: projektdokumentation.tex
DIR: projektdokumentation
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

File diff suppressed because it is too large Load diff