equal
deleted
inserted
replaced
206 echo "==============" |
206 echo "==============" |
207 echo |
207 echo |
208 echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE." |
208 echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE." |
209 echo |
209 echo |
210 } >ANNOUNCE |
210 } >ANNOUNCE |
211 perl -pi -e "s/val is_unofficial = false/val is_unofficial = true/" src/Pure/ROOT.ML |
211 perl -pi -e "s/val is_official = true/val is_official = false/" src/Pure/ROOT.ML |
212 fi |
212 fi |
213 |
|
214 [ -f ChangeLog.gz ] && \ |
|
215 perl -pi -e "s/val has_changelog = false/val has_changelog = true/" src/Pure/ROOT.ML |
|
216 |
213 |
217 perl -pi -e "s/ISABELLE_IDENTIFIER=\"\"/ISABELLE_IDENTIFIER=\"$DISTNAME\"/g;" lib/scripts/getsettings |
214 perl -pi -e "s/ISABELLE_IDENTIFIER=\"\"/ISABELLE_IDENTIFIER=\"$DISTNAME\"/g;" lib/scripts/getsettings |
218 perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.template |
215 perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.template |
219 perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version |
216 perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version |
220 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README |
217 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README |