Update setup_configure_image.sh

DOMjudge · Nov 1, 2024 · bf74b8b · bf74b8b
1 parent 1a5becc
commit bf74b8b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/jobs/configure-checks/setup_configure_image.sh b/.github/jobs/configure-checks/setup_configure_image.sh
@@ -11,11 +11,11 @@ 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-cmap -y ;;
     *)
         apt-get update; apt-get full-upgrade -y
         apt-get install $shared  \
-                        python3-rtd-theme texlive-latex-{recommended,extra} tex-gyre -y ;;
+                        python3-sphinx-rtd-theme texlive-latex-{recommended,extra} tex-gyre -y ;;
 esac
 
 # Build the configure file