--- 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: