# HG changeset patch
# User haftmann
# Date 1117976296 -7200
# Node ID f3f4d357b8ad103334c74a0d86c4abc76f983d37
# Parent  3a50bf1f04d0d0aa479b5ab174099c19eab29939
better symlink handling

diff -r 3a50bf1f04d0 -r f3f4d357b8ad Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Sun Jun 05 14:41:23 2005 +0200
+++ b/Admin/website/build/project.mak	Sun Jun 05 14:58:16 2005 +0200
@@ -7,15 +7,15 @@
 	#~ mkdir -p $(OUTPUTROOT)/dist
 	#~ ln -s $< $@
 
-#~ $(OUTPUTROOT)/library: $(ISABELLE_LIBR)
-	#~ ln -s $< $@
-
-DEP_SYMLINKS=dist/packages library
+DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/library
 
 dist/packages: $(ISABELLE_DIST)
 	ln -s $< $@
 
-library: $(ISABELLE_LIBR)
+#~ library: $(ISABELLE_LIBR)
+#~	ln -s $< $@
+
+$(OUTPUTROOT)/library: $(ISABELLE_LIBR)
 	ln -s $< $@
 
 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)