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