164 src/Pure/System/distribution.ML src/Pure/System/distribution.scala |
164 src/Pure/System/distribution.ML src/Pure/System/distribution.scala |
165 |
165 |
166 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings |
166 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings |
167 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings |
167 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings |
168 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template |
168 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template |
169 perl -pi -e "s,unidentified repository version,$DISTVERSION,g" \ |
169 perl -pi -e "s,repository version,$DISTVERSION,g" \ |
170 src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version |
170 src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version |
171 perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README |
171 perl -pi -e "s,some repository version of Isabelle,$DISTVERSION,g" README |
172 |
172 |
173 mkdir -p contrib |
173 mkdir -p contrib |
174 cat >contrib/README <<EOF |
174 cat >contrib/README <<EOF |
175 This directory contains add-on components that contribute to the main |
175 This directory contains add-on components that contribute to the main |
176 Isabelle distribution. Separate licensing conditions apply, see each |
176 Isabelle distribution. Separate licensing conditions apply, see each |