add workflow

.gitea/workflows/generate.yml

@@ -0,0 +1,21 @@
+name: generate pdf files
+on:
+  push:
+    branches: ["main"]
+permissions:
+  contents: read
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: install deps
+        run: sudo apt-get update && sudo apt-get install make && sudo make install_ubuntu
+      - name: generate
+        run: make all
+      - uses: actions/upload-artifact@v4
+        with:
+          name: documents
+          path: pdf/*
+          overwrite: true

makefile

@@ -32,7 +32,8 @@ install_arch:
 install_ubuntu:
 	mkdir -p build/install
 	apt-get update
-	DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends curl unzip texlive texlive-lang-european texlive-xetex pandoc
+	DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \
+		curl unzip texlive texlive-lang-european texlive-lang-greek texlive-xetex pandoc
 
 	test -e build/install/ubuntu.zip || curl https://assets.ubuntu.com/v1/0cef8205-ubuntu-font-family-0.83.zip -o build/install/ubuntu.zip
 	test -d build/install/ubuntu && rm -r build/install/ubuntu || echo