--- a/Admin/makedist Thu Feb 21 20:16:02 2008 +0100
+++ b/Admin/makedist Thu Feb 21 21:31:51 2008 +0100
@@ -120,7 +120,7 @@
cd $DISTNAME
$CVS2CL
gzip ChangeLog
- mv ChangeLog.gz ..
+ cp ChangeLog.gz ..
cd ..
fi
@@ -208,8 +208,12 @@
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
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