fix

metamath · Dec 16, 2023 · 1fb3ecf · 1fb3ecf
1 parent 2318399
commit 1fb3ecf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,7 +11,8 @@ jobs:
       run: |
         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
+          texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended cm-super
+        sudo updmap -sys
     - name: Build metamath-narrow.pdf
       run: ./make-narrow
     - name: Build metamath.pdf