Admin/lib/Tools/makedist

 env ISABELLE_IDENTIFIER="${DISTNAME}-build" \
   ./bin/isabelle build_doc $JOBS -s -a || fail "Failed to build documentation"
 rm -rf src
 mv src.orig src
 
+./bin/isabelle news
+
 rm -rf Admin browser_info heaps
-
-./bin/isabelle news
 
 rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
 rmdir "$USER_HOME/.isabelle/${DISTNAME}"
 
 

   "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
 
 rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
 
 rm -rf "${DISTNAME}-old"
-