--- a/Admin/lib/Tools/makedist	Sat Jan 09 22:00:22 2016 +0100
+++ b/Admin/lib/Tools/makedist	Sat Jan 09 22:22:17 2016 +0100
@@ -196,6 +196,8 @@
 
 rm -rf Admin browser_info heaps
 
+./bin/isabelle java isabelle.NEWS
+
 
 # create archive
changeset 62114	a7cf464933f7
parent 61737	b91b1ebfc8a0
child 62167	cb806a024bba