diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 49e5555a..983e11ca 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -5,6 +5,7 @@ on: - main paths: - 'doc/latex/**' + workflow_dispatch: jobs: build_latex: runs-on: ubuntu-latest