add ngerman package

metamath · Dec 16, 2023 · 18da566 · 18da566
1 parent 1fb3ecf
commit 18da566
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,8 +10,13 @@ jobs:
     - name: Install LaTeX
       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 cm-super
+        sudo apt-get install -y --no-install-recommends \
+          dvipng cm-super \
+          texlive-fonts-recommended \
+          texlive-latex-extra \
+          texlive-fonts-extra \
+          texlive-latex-recommended \
+          texlive-lang-german
         sudo updmap -sys
     - name: Build metamath-narrow.pdf
       run: ./make-narrow