changeset 72576 | 913407dad883 |
parent 72574 | d892f6d66402 |
child 72577 | 77b51733ffdf |
--- 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") + "; }",