# HG changeset patch
# User wenzelm
# Date 1513282504 -3600
# Node ID 849a838f7e57eb4758a136b9c628148834ac8f0b
# Parent  85784e16bec8de5221d0c06372206b2a6ad503ad
purge log files -- avoid old errors;

diff -r 85784e16bec8 -r 849a838f7e57 src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Thu Dec 14 21:09:41 2017 +0100
+++ b/src/Pure/Thy/present.scala	Thu Dec 14 21:15:04 2017 +0100
@@ -189,6 +189,8 @@
 
     File.write(dir + Path.explode("isabelletags.sty"), document_tags(tags))
 
+    List("log", "blg").foreach(ext => (dir + Path.explode(root_name).ext(ext)).file.delete)
+
     val result =
       if ((dir + Path.explode("build")).is_file) {
         bash("./build " + Bash.string(document_format) + " " + Bash.string(document_name))