# HG changeset patch
# User haftmann
# Date 1129883222 -7200
# Node ID d878a7735ff6a59f733a267ce59e41c62e03943b
# Parent  c5eeab6339bf8f23db5e36820632d72f0c34eee4
substantially improved integration of website into distribution framework

diff -r c5eeab6339bf -r d878a7735ff6 Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Fri Oct 21 10:21:38 2005 +0200
+++ b/Admin/website/build/project.mak	Fri Oct 21 10:27:02 2005 +0200
@@ -21,9 +21,9 @@
 	$(COPY) -vRud $</[^w]* $@
 	chgrp -hR $(TARGET_GROUP) $@
 	chmod -R u-w,g-w,o-w $@
-	-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) Isabelle
-	-chgrp -h $(TARGET_GROUP) Isabelle
-	-chmod u-w,g-w,o-w Isabelle
+	-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
+	-chgrp -h $(TARGET_GROUP) $@/Isabelle
+	-chmod u-w,g-w,o-w $@/Isabelle
 
 else
 
@@ -32,9 +32,9 @@
 	$(RSYNC) -v --exclude='/website/' -a --delete --delete-after $</ $@
 	chgrp -hR $(TARGET_GROUP) $@
 	chmod -R u-w,g-w,o-w $@
-	-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) Isabelle
-	-chgrp -h $(TARGET_GROUP) Isabelle
-	-chmod u-w,g-w,o-w Isabelle
+	-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
+	-chgrp -h $(TARGET_GROUP) $@/Isabelle
+	-chmod u-w,g-w,o-w $@/Isabelle
 
 SYNC_ALWAYS: