# HG changeset patch
# User haftmann
# Date 1117916247 -7200
# Node ID f0d154b21b868ca7fe5c7a31583ea7998cacda68
# Parent  bf058cdf68413d16d18605e838c873382f5f3184
added library symlink

diff -r bf058cdf6841 -r f0d154b21b86 Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Sat Jun 04 21:49:30 2005 +0200
+++ b/Admin/website/build/project.mak	Sat Jun 04 22:17:27 2005 +0200
@@ -1,11 +1,14 @@
 # isaweb makefile - project-specific dependencies
 # $Id$
 
-DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages
+DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
 
-$(DEP_SYMLINKS): $(ISABELLE_DIST)
+$(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
 	mkdir -p $(OUTPUTROOT)/dist
 	ln -s $< $@
 
+$(OUTPUTROOT)/library:
+	ln -s $< $@
+
 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
 	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@
\ No newline at end of file