made symlink relative
authorhaftmann
Sat Apr 08 22:12:02 2006 +0200 (2006-04-08)
changeset 19362638bbd5a4a3b
parent 19361 aa226c08d14a
child 19363 667b5ea637dd
made symlink relative
Admin/website/build/project.mak
     1.1 --- a/Admin/website/build/project.mak	Sat Apr 08 22:10:58 2006 +0200
     1.2 +++ b/Admin/website/build/project.mak	Sat Apr 08 22:12:02 2006 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
     1.5  	-chgrp -h $(TARGET_GROUP) $@/Isabelle
     1.6  	-chmod u+w,g-w,o-w $@/Isabelle
     1.7 -	( cd $(OUTPUTROOT); ln -s OUTPUTDIST_REL dist )
     1.8 +	( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
     1.9  
    1.10  else
    1.11  
    1.12 @@ -41,7 +41,7 @@
    1.13  	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
    1.14  	-chgrp -h $(TARGET_GROUP) $@/Isabelle
    1.15  	-chmod u+w,g-w,o-w $@/Isabelle
    1.16 -	( cd $(OUTPUTROOT); ln -s OUTPUTDIST_REL dist )
    1.17 +	( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
    1.18  
    1.19  SYNC_ALWAYS:
    1.20