diff options
| -rw-r--r-- | .github/workflows/docs.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 86d2379..592b808 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -37,7 +37,6 @@ jobs: run: | cd ./docs/_build/latex ls -l - make cp *.pdf ../html/_static/ - name: Deploy to GitHub Pages |