Fix package list

DOMjudge · Oct 31, 2024 · 5cc012d · 5cc012d
1 parent 42d9c4c
commit 5cc012d
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
@@ -8,11 +8,11 @@ distro_id=$(grep "^ID=" /etc/os-release)
 case $distro_id in
     "ID=fedora")
         dnf install pkg-config make bats autoconf automake util-linux composer \
-                    python3-{yaml,sphinx{,-rtd-theme}} -y ;;
+                    python3-{yaml,sphinx{,-rtd_theme}} -y ;;
     *)
         apt-get update; apt-get full-upgrade -y
         apt-get install pkg-config make bats autoconf composer \
-                        python3-{yaml,sphinx{,_rtd_theme}} -y ;;
+                        python3-{yaml,sphinx{,-rtd-theme}} -y ;;
 esac
 
 # Build the configure file