# HG changeset patch
# User wenzelm
# Date 1605125212 -3600
# Node ID 913407dad883c7bd38e2f8097d6f26a48250a028
# Parent  c7ab83a0c56429d58b6ada15d550b050a82581fb
redundant, see prepare_dir;

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") + "; }",