# HG changeset patch
# User haftmann
# Date 1146053953 -7200
# Node ID 0fab37327f91db3a7a4f7bdd85520d0750e33b2b
# Parent  3572af78f114bff675dca6ebe9eecbe3b3d7bef8
fixed silly symlink bug

diff -r 3572af78f114 -r 0fab37327f91 Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Wed Apr 26 07:02:04 2006 +0200
+++ b/Admin/website/build/project.mak	Wed Apr 26 14:19:13 2006 +0200
@@ -29,7 +29,7 @@
 	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
 	-chgrp -h $(TARGET_GROUP) $@/Isabelle
 	-chmod u+w,g-w,o-w $@/Isabelle
-	( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
+	( cd $(OUTPUTROOT); [ ! -e dist ] && ln -s $(OUTPUTDIST_REL) dist || true)
 
 else
 
@@ -41,7 +41,7 @@
 	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
 	-chgrp -h $(TARGET_GROUP) $@/Isabelle
 	-chmod u+w,g-w,o-w $@/Isabelle
-	( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
+	( cd $(OUTPUTROOT); [ ! -e dist ] && ln -s $(OUTPUTDIST_REL) dist || true)
 
 SYNC_ALWAYS: