Update setup_configure_image.sh

DOMjudge · Oct 31, 2024 · 6604a7a · 6604a7a
1 parent 31eed67
commit 6604a7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/configure-checks/setup_configure_image.sh b/.github/jobs/configure-checks/setup_configure_image.sh
@@ -11,7 +11,7 @@ shared2="$shared python3-{yaml,sphinx}"
 case $distro_id in
     "ID=fedora")
         dnf install $shared automake util-linux \
-                    python3-sphinx_rtd_theme -y ;;
+                    python3-sphinx_rtd_theme texlive-latex-{recommended,extra} tex-gyre -y ;;
     *)
         apt-get update; apt-get full-upgrade -y
         apt-get install $shared  \