diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml
index 49925cab..60557125 100644
--- a/.github/workflows/presubmit.yml
+++ b/.github/workflows/presubmit.yml
@@ -18,7 +18,7 @@ jobs:
 
       - name: Install required packages
         run: |
-          sudo apt-get install -y libpango1.0-dev libwebp-dev ghostscript fonts-lyx jing
+          sudo apt-get install -y libpango1.0-dev libwebp-dev ghostscript fonts-lyx jing libavalon-framework-java libbatik-java python3-pyparsing
           sudo gem install asciidoctor -v 2.0.16
           sudo gem install coderay -v 1.1.1
           sudo gem install rouge -v 3.19.0
@@ -26,22 +26,23 @@ jobs:
           sudo gem install hexapdf -v 0.27.0
           sudo gem install asciidoctor-pdf -v 2.3.4
           sudo gem install asciidoctor-mathematical -v 0.3.5
+          sudo pip install pyparsing
 
       - name: List git tag
         run: |
           git describe --tags --dirty
 
-      - name: Generate core specs
+      - name: Generate core specs (HTML and PDF)
         run: |
-          make -O -j5 api c env ext cxx4opencl
+          python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 api c env ext cxx4opencl
           
-      - name: Generate extension specs
+      - name: Generate core + extension specs (HTML)
         run: |
-          make extensionshtml
+          python3 makeSpec -clean -spec khr OUTDIR=out.khr -j 12 html
 
       - name: Generate reference pages
         run: |
-          make -O -j manhtmlpages
+          python3 makeSpec -spec khr OUTDIR=out.refpages -j 12 manhtmlpages
 
       - name: Validate XML
         run: |