author | haftmann |
Fri, 23 Sep 2005 17:06:23 +0200 | |
changeset 17605 | caed4fb770d5 |
parent 17604 | 5f30179fbf44 |
child 17606 | 6527ba893bae |
--- a/Admin/website/build/project.mak Fri Sep 23 16:05:42 2005 +0200 +++ b/Admin/website/build/project.mak Fri Sep 23 17:06:23 2005 +0200 @@ -14,12 +14,14 @@ DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/dist/library dist/packages: $(ISABELLE_DIST) + mkdir -p dist ln -s $< $@ #~ library: $(ISABELLE_LIBR) #~ ln -s $< $@ $(OUTPUTROOT)/dist/library: $(ISABELLE_LIBR) + mkdir -p $(OUTPUTROOT)/dist ln -s $< $@ chmod $(TARGET_UMASK_DIR) $@