--- a/Admin/makedist Mon Feb 25 16:31:20 2008 +0100
+++ b/Admin/makedist Mon Feb 25 17:27:38 2008 +0100
@@ -208,12 +208,9 @@
echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE."
echo
} >ANNOUNCE
- perl -pi -e "s/val is_unofficial = false/val is_unofficial = true/" src/Pure/ROOT.ML
+ perl -pi -e "s/val is_official = true/val is_official = false/" src/Pure/ROOT.ML
fi
-[ -f ChangeLog.gz ] && \
- perl -pi -e "s/val has_changelog = false/val has_changelog = true/" src/Pure/ROOT.ML
-
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/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version