Admin/makedist

     echo "=============="
     echo
     echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE."
     echo
   } >ANNOUNCE
-  perl -pi -e "s/val is_official = true/val is_official = false/" src/Pure/ROOT.ML
+else
+  perl -pi -e "s/val is_official = false/val is_official = true/" src/Pure/ROOT.ML
 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

 chmod -R g=o "$DISTNAME"
 chgrp -R isabelle "$DISTNAME" Isabelle
 
 mkdir -p "pdf/$DISTNAME/doc"
 mv "$DISTNAME/doc/"*.pdf "pdf/$DISTNAME/doc"
-
-sync; sleep 3
 
 echo "$DISTNAME.tar.gz"
 tar cf "$DISTNAME.tar" Isabelle "$DISTNAME"
 gzip "$DISTNAME.tar"
 

 chgrp -R isabelle "$DISTNAME"
 
 rm -rf "${DISTNAME}-old"
 
 
-# final note
-
 echo "###"
 echo "### Finished makedist."
 echo "###"