# HG changeset patch
# User wenzelm
# Date 1203625911 -3600
# Node ID 46f4e4cd3b693c5d76e7a5faebe594229e2fd5a0
# Parent  4b5e5fc1d11f0b726efb361a1151b5b8eebea108
keep ChangeLog.gz within distribution;
more elaborate structure Distribution (filled-in by makedist);

diff -r 4b5e5fc1d11f -r 46f4e4cd3b69 Admin/makedist
--- 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