Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
purge log files -- avoid old errors;
authorwenzelm
Thu, 14 Dec 2017 21:15:04 +0100
changeset 67204 849a838f7e57
parent 67203 85784e16bec8
child 67205 06c91eac25f2
purge log files -- avoid old errors;
src/Pure/Thy/present.scala file | annotate | diff | comparison | revisions 
--- 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))
isabelle