fix

metamath · Dec 16, 2023 · af88612 · af88612
1 parent 2318399
commit af88612
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,6 +12,7 @@ jobs:
         sudo apt-get -qq update
         sudo apt-get install -y --no-install-recommends texlive-fonts-recommended \
           texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended
+        updmap
     - name: Build metamath-narrow.pdf
       run: ./make-narrow
     - name: Build metamath.pdf