--- a/Admin/lib/Tools/makedist Mon Apr 04 14:53:30 2016 +0200
+++ b/Admin/lib/Tools/makedist Mon Apr 04 15:35:24 2016 +0200
@@ -159,12 +159,13 @@
perl -pi \
-e "s,val is_identified = false,val is_identified = true,g;" \
-e "s,val is_official = false,val is_official = ${IS_OFFICIAL},g;" \
- src/Pure/ROOT.ML src/Pure/ROOT.scala
+ src/Pure/System/distribution.ML src/Pure/System/distribution.scala
perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
-perl -pi -e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML src/Pure/ROOT.scala lib/Tools/version
+perl -pi -e "s,unidentified repository version,$DISTVERSION,g" \
+ src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version
perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
mkdir -p contrib