# HG changeset patch
# User haftmann
# Date 1150441714 -7200
# Node ID 781046997aab0cfebf9606976cfbff7f714ae890
# Parent  21a99d88d925786751908c7bdf255b7a4c8f8e35
fixed symlink bug

diff -r 21a99d88d925 -r 781046997aab Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Thu Jun 15 23:10:45 2006 +0200
+++ b/Admin/website/build/project.mak	Fri Jun 16 09:08:34 2006 +0200
@@ -26,10 +26,10 @@
 	$(COPY) -vRud $</[^w]* $@
 	-chgrp -hR $(TARGET_GROUP) $@
 	-chmod -R u+w,g-w,o-w $@
-	rm -f $@/Isabelle && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
+	( cd $@ && rm -f Isabelle && ln -s $(DISTNAME) Isabelle )
 	-chgrp -h $(TARGET_GROUP) $@/Isabelle
 	-chmod u+w,g-w,o-w $@/Isabelle
-	( cd $(OUTPUTROOT) && rm -f dist && ln -s $(OUTPUTDIST_REL) dist)
+	( cd $(OUTPUTROOT) && rm -f dist && ln -s $(OUTPUTDIST_REL) dist )
 
 else
 
@@ -38,10 +38,10 @@
 	$(RSYNC) -v --exclude='/website/' -rlt --delete --delete-after $</ $@
 	-chgrp -hR $(TARGET_GROUP) $@
 	-chmod -R u+w,g-w,o-w $@
-	rm -f $@/Isabelle &&  ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
+	( cd $@ && rm -f Isabelle && ln -s $(DISTNAME) Isabelle )
 	-chgrp -h $(TARGET_GROUP) $@/Isabelle
 	-chmod u+w,g-w,o-w $@/Isabelle
-	( cd $(OUTPUTROOT) && rm -f dist && ln -s $(OUTPUTDIST_REL) dist)
+	( cd $(OUTPUTROOT) && rm -f dist && ln -s $(OUTPUTDIST_REL) dist )
 
 SYNC_ALWAYS: