recover Isabelle symlink for public distribution, notably website;
authorwenzelm
Tue Mar 15 13:03:54 2011 +0100 (2011-03-15 ago)
changeset 41984e5dba3d75e9e
parent 41983 2dc6e382a58b
child 41985 09b75d55008f
recover Isabelle symlink for public distribution, notably website;
Admin/makedist
     1.1 --- a/Admin/makedist	Mon Mar 14 16:59:37 2011 +0100
     1.2 +++ b/Admin/makedist	Tue Mar 15 13:03:54 2011 +0100
     1.3 @@ -206,6 +206,8 @@
     1.4  mkdir "$DISTNAME/doc"
     1.5  mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
     1.6  
     1.7 +rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
     1.8 +
     1.9  chgrp -R isabelle "$DISTNAME"
    1.10  
    1.11  rm -rf "${DISTNAME}-old"