--- 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