diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml index 6282651c..5ab0bc93 100644 --- a/.github/workflows/presubmit.yml +++ b/.github/workflows/presubmit.yml @@ -56,10 +56,10 @@ jobs: run: | python3 makeSpec -clean -spec core OUTDIR=out.core QUIET= -j -O api c env ext cxx4opencl -# - name: Generate core + extension specs (HTML) -# run: | -# python3 makeSpec -clean -spec khr OUTDIR=out.khr -j -O html -# -# - name: Generate reference pages -# run: | -# python3 makeSpec -spec khr OUTDIR=out.refpages -j -O manhtmlpages + - name: Generate core + extension specs (HTML) + run: | + python3 makeSpec -clean -spec khr OUTDIR=out.khr QUIET= -j -O html + + - name: Generate reference pages + run: | + python3 makeSpec -spec khr OUTDIR=out.refpages QUIET= -j -O manhtmlpages