# HG changeset patch
# User haftmann
# Date 1144527122 -7200
# Node ID 638bbd5a4a3bd34199cffec545ee4e12e5d26b08
# Parent  aa226c08d14ad899aafd0c4e57878d49bbbd27c4
made symlink relative

diff -r aa226c08d14a -r 638bbd5a4a3b Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Sat Apr 08 22:10:58 2006 +0200
+++ b/Admin/website/build/project.mak	Sat Apr 08 22:12:02 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); ln -s $(OUTPUTDIST_REL) dist )
 
 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); ln -s $(OUTPUTDIST_REL) dist )
 
 SYNC_ALWAYS: