equal
deleted
inserted
replaced
1 # isaweb makefile - project-specific dependencies |
1 # isaweb makefile - project-specific dependencies |
2 # $Id$ |
2 # $Id$ |
3 |
3 |
4 DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages |
4 DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library |
5 |
5 |
6 $(DEP_SYMLINKS): $(ISABELLE_DIST) |
6 $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST) |
7 mkdir -p $(OUTPUTROOT)/dist |
7 mkdir -p $(OUTPUTROOT)/dist |
|
8 ln -s $< $@ |
|
9 |
|
10 $(OUTPUTROOT)/library: |
8 ln -s $< $@ |
11 ln -s $< $@ |
9 |
12 |
10 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
13 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
11 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |
14 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |