diff -r c7ab83a0c564 -r 913407dad883 src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Wed Nov 11 21:04:22 2020 +0100
+++ b/src/Pure/Thy/present.scala	Wed Nov 11 21:06:52 2020 +0100
@@ -291,7 +291,6 @@
             }
             else {
               bash(
-                latex_bash("sty"),
                 latex_bash(),
                 "{ [ ! -f " + root_bash("bib") + " ] || " + latex_bash("bbl") + "; }",
                 "{ [ ! -f " + root_bash("idx") + " ] || " + latex_bash("idx") + "; }",