# HG changeset patch
# User haftmann
# Date 1144527058 -7200
# Node ID aa226c08d14ad899aafd0c4e57878d49bbbd27c4
# Parent  f47412f922abbdde862448e0649f22dff832fe0b
made symlink relative

diff -r f47412f922ab -r aa226c08d14a Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Sat Apr 08 15:24:21 2006 +0200
+++ b/Admin/website/build/project.mak	Sat Apr 08 22:10:58 2006 +0200
@@ -9,7 +9,8 @@
 
 STATICDIRS=css img media misc
 STATICFILES=include/documentationdist.include.html
-OUTPUTDIST=$(OUTPUTROOT)/dist-$(DISTNAME)
+OUTPUTDIST_REL=dist-$(DISTNAME)
+OUTPUTDIST=$(OUTPUTROOT)/$(OUTPUTDIST_REL)
 
 project: $(OUTPUTDIST) site
 .PHONY: project
@@ -28,7 +29,7 @@
 	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
 	-chgrp -h $(TARGET_GROUP) $@/Isabelle
 	-chmod u+w,g-w,o-w $@/Isabelle
-	ln -s $(OUTPUTDIST) $(OUTPUTROOT)/dist
+	( cd $(OUTPUTROOT); ln -s OUTPUTDIST_REL dist )
 
 else
 
@@ -40,7 +41,7 @@
 	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
 	-chgrp -h $(TARGET_GROUP) $@/Isabelle
 	-chmod u+w,g-w,o-w $@/Isabelle
-	ln -s $(OUTPUTDIST) $(OUTPUTROOT)/dist
+	( cd $(OUTPUTROOT); ln -s OUTPUTDIST_REL dist )
 
 SYNC_ALWAYS: