Admin/makedist

--- a/Admin/makedist	Wed Nov 14 16:22:44 2007 +0100
+++ b/Admin/makedist	Thu Nov 15 11:49:00 2007 +0100
@@ -194,6 +194,7 @@
   } >ANNOUNCE
 fi
 
+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
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README