First, worflow dispatch.

UCL · Nov 30, 2023 · ab4eda1 · ab4eda1
1 parent 76b005f
commit ab4eda1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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