1.1 --- a/Admin/lib/Tools/makedist	Thu Jul 24 17:11:40 2014 +0200
     1.2 +++ b/Admin/lib/Tools/makedist	Thu Jul 24 17:13:26 2014 +0200
     1.3 @@ -157,8 +157,8 @@
     1.4  fi
     1.5  
     1.6  perl -pi \
     1.7 -  -e "s,val is_identified = false,val is_identified = true,g" \
     1.8 -  -e "s,val is_official = false,val is_official = ${IS_OFFICIAL},g" \
     1.9 +  -e "s,val is_identified = false,val is_identified = true,g;" \
    1.10 +  -e "s,val is_official = false,val is_official = ${IS_OFFICIAL},g;" \
    1.11    src/Pure/ROOT.ML src/Pure/ROOT.scala
    1.12  
    1.13  perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings