Replace packages for fedora

Author: vmcj

.github/jobs/configure-checks/all.bats

@@ -11,10 +11,15 @@ if [ "$distro_id" = "ID=fedora" ]; then
     cmd=dnf
 fi
 
+
 translate () {
     args="$@"
     if [ "$distro_id" = "ID=fedora" ]; then
         args=${args/libcgroup-dev/libcgroup-devel}
+        args=${args/python3-sphinx-rtd-theme/python3-sphinx_rtd_theme}
+        args=${args/texlive-latex-recommended/texlive texlive-collection-latexextra}
+        args=${args/texlive-latex-extra/texlive texlive-collection-latexrecommended}
+        args=${args/tex-gyre/texlive-tex-gyre}
     fi
     echo "$args"
 }
@@ -458,3 +463,16 @@ compile_assertions_finished () {
   run make judgehost
   assert_failure 2
 }
+
+@test "`make distclean` cleans the state to to `make dist`" {
+  run make dist
+  files_before=$(find . -type f &> | sort)
+  run run_configure
+  files_configure=$(find . -type f &> | sort)
+  run test "$files_before" = "$files_configure"
+  assert_failure
+  run make distclean
+  files_after=$(find . -type f &> | sort)
+  run test "$files_before" = "$files_after"
+  assert_success
+}