fix compilation

This commit is contained in:
Maximilian Keßler 2023-10-19 02:55:29 +02:00
parent eaf0763583
commit 7be9e1046b
Signed by: max
GPG key ID: BCC5A619923C0BA5

View file

@ -35,7 +35,9 @@ jobs:
REF_NAME: ${{ github.ref_name }} REF_NAME: ${{ github.ref_name }}
- name: Compile documentation - name: Compile documentation
if: github.ref == 'refs/heads/master' if: github.ref == 'refs/heads/master'
run: .ci/compile_doc.sh run: make doc
env:
TEXINPUTS: build/packages//:
- name: Prepage pages - name: Prepage pages
if: github.ref == 'refs/heads/master' if: github.ref == 'refs/heads/master'
run: | run: |