# HG changeset patch
# User haftmann
# Date 1127487983 -7200
# Node ID caed4fb770d5c75b39e380011e94e8331f2a6436
# Parent  5f30179fbf44f3fe69ac6691d0fc563c6c2cb206
mkdir -p for symlinks

diff -r 5f30179fbf44 -r caed4fb770d5 Admin/website/build/project.mak
--- 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) $@