fixup! Break up Build in CI to Build HTML and Build PDF

gamemanual0 · Nov 2, 2023 · abc6f1e · abc6f1e
1 parent 1b33725
commit abc6f1e
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -26,9 +26,6 @@ jobs:
       with:
         name: gm0-html
         path: build/html/
-    - name: Build PDF
-      run: |
-        make latexpdf
   build-pdf:
     name: Build PDF
     runs-on: ubuntu-latest