diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index ae08911..073db50 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -21,16 +21,19 @@ jobs: - name: Install dependencies run: | uv sync --all-groups + ls -l + source .venv/bin/activate - name: Build documentation run: | cd docs + ls -l make html - - name: Build LaTeX PDF file run: | make latex cd _build/latex + ls -l make cp *.pdf ../html/_static/ |