Fixup

DOMjudge · Mar 2, 2025 · d723a80 · d723a80
1 parent 2aad955
commit d723a80
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
@@ -7,7 +7,7 @@ distro_id=$(grep "^ID=" /etc/os-release)
 # Install everything for configure and testing
 case $distro_id in
     "ID=fedora")
-        dnf install pkg-config make bats autoconf automake util-linux python3 python-sphinx python-sphinx-rtd-theme rst2pdf fontconfig python3-yaml latexmk -y ;;
+        dnf install pkg-config make bats autoconf automake util-linux python3 python-sphinx python3-sphinx_rtd_theme rst2pdf fontconfig python3-yaml latexmk -y ;;
     *)
         apt-get update; apt-get full-upgrade -y
         apt-get install pkg-config make bats autoconf python3 -y ;;