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.
more cleanup;
authorwenzelm
Thu, 13 Oct 2016 11:22:12 +0200
changeset 64183 c69a77e0124a
parent 64182 857a335ac292
child 64184 68e95e5b2b7d
more cleanup;
Admin/lib/Tools/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist	Thu Oct 13 09:52:54 2016 +0200
+++ b/Admin/lib/Tools/makedist	Thu Oct 13 11:22:12 2016 +0200
@@ -199,6 +199,9 @@
 
 ./bin/isabelle java isabelle.NEWS
 
+rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
+rmdir "$USER_HOME/.isabelle/${DISTNAME}"
+
 
 # create archive
isabelle