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