purge log files -- avoid old errors;
authorwenzelm
Thu Dec 14 21:15:04 2017 +0100 (17 months ago)
changeset 67204849a838f7e57
parent 67203 85784e16bec8
child 67205 06c91eac25f2
purge log files -- avoid old errors;
src/Pure/Thy/present.scala
     1.1 --- a/src/Pure/Thy/present.scala	Thu Dec 14 21:09:41 2017 +0100
     1.2 +++ b/src/Pure/Thy/present.scala	Thu Dec 14 21:15:04 2017 +0100
     1.3 @@ -189,6 +189,8 @@
     1.4  
     1.5      File.write(dir + Path.explode("isabelletags.sty"), document_tags(tags))
     1.6  
     1.7 +    List("log", "blg").foreach(ext => (dir + Path.explode(root_name).ext(ext)).file.delete)
     1.8 +
     1.9      val result =
    1.10        if ((dir + Path.explode("build")).is_file) {
    1.11          bash("./build " + Bash.string(document_format) + " " + Bash.string(document_name))