Fixup

DOMjudge · Oct 30, 2024 · 42d9c4c · 42d9c4c
1 parent 8811040
commit 42d9c4c
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
@@ -8,7 +8,7 @@ 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 \