diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs.yml | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index c60fc30..0d739e3 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -21,21 +21,22 @@ jobs: - name: Install dependencies run: | uv sync --all-groups - ls -l source .venv/bin/activate + + - name: Build documentation + run: | + cd docs + make html + make latex + - name: Build LaTeX PDF file uses: xu-cheng/texlive-action@v3 with: run: | - cd docs - ls -l - make html - make latex + pwd make latexpdf - cd ./docs/_build/latex # make - ls -l cp *.pdf ../html/_static/ - name: Deploy to GitHub Pages |