# 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