equal
deleted
inserted
replaced
151 directory individually. |
151 directory individually. |
152 EOF |
152 EOF |
153 |
153 |
154 cp doc/isabelle*.eps lib/logo |
154 cp doc/isabelle*.eps lib/logo |
155 |
155 |
156 |
|
157 if [ -z "$RELEASE" ]; then |
156 if [ -z "$RELEASE" ]; then |
158 { |
157 { |
159 echo |
158 echo |
160 echo "IMPORTANT NOTE" |
159 echo "IMPORTANT NOTE" |
161 echo "==============" |
160 echo "==============" |
163 echo "This is an unofficial snapshot of Isabelle, created by $LOGNAME $DATE." |
162 echo "This is an unofficial snapshot of Isabelle, created by $LOGNAME $DATE." |
164 echo "See $REPOS/log/$IDENT for details." |
163 echo "See $REPOS/log/$IDENT for details." |
165 echo |
164 echo |
166 } >ANNOUNCE |
165 } >ANNOUNCE |
167 else |
166 else |
|
167 rm Isabelle Isabelle.exe |
168 perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML |
168 perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML |
169 fi |
169 fi |
170 |
170 |
171 perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML |
171 perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML |
172 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings |
172 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings |