# HG changeset patch
# User wenzelm
# Date 1300190634 -3600
# Node ID e5dba3d75e9e554e98a7238ce23720879b0e311b
# Parent  2dc6e382a58b0c7e20b3fff51f371f5e284ffaf1
recover Isabelle symlink for public distribution, notably website;

diff -r 2dc6e382a58b -r e5dba3d75e9e Admin/makedist
--- a/Admin/makedist	Mon Mar 14 16:59:37 2011 +0100
+++ b/Admin/makedist	Tue Mar 15 13:03:54 2011 +0100
@@ -206,6 +206,8 @@
 mkdir "$DISTNAME/doc"
 mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
 
+rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
+
 chgrp -R isabelle "$DISTNAME"
 
 rm -rf "${DISTNAME}-old"