From 779ad80aa813692d289aad35970bfb91f894e8ac Mon Sep 17 00:00:00 2001 From: Mario Carneiro Date: Sat, 16 Dec 2023 03:51:32 -0500 Subject: [PATCH] fix --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 22151ea..6af0ade 100644 --- 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 -sys - name: Build metamath-narrow.pdf run: ./make-narrow - name: Build metamath.pdf