# HG changeset patch
# User wenzelm
# Date 1477312657 -7200
# Node ID 5a3e35cb6f5434d85ec5dde3e52f84e6dd4771c9
# Parent  7ffd2be0a1e811cfc455451e9baabb3aa8ac99a0
retain Admin component for isabelle tool invocation;

diff -r 7ffd2be0a1e8 -r 5a3e35cb6f54 Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Mon Oct 24 14:10:53 2016 +0200
+++ b/Admin/lib/Tools/makedist	Mon Oct 24 14:37:37 2016 +0200
@@ -197,9 +197,9 @@
 rm -rf src
 mv src.orig src
 
-rm -rf Admin browser_info heaps
+./bin/isabelle news
 
-./bin/isabelle news
+rm -rf Admin browser_info heaps
 
 rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
 rmdir "$USER_HOME/.isabelle/${DISTNAME}"
@@ -244,4 +244,3 @@
 rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
 
 rm -rf "${DISTNAME}-old"
-