| changeset 16233 | e634d33deb86 |
| child 16242 | f0d154b21b86 |
| 16232:8a12e11d222b | 16233:e634d33deb86 |
|---|---|
1 # isaweb makefile - project-specific dependencies |
|
2 # $Id$ |
|
3 |
|
4 DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages |
|
5 |
|
6 $(DEP_SYMLINKS): $(ISABELLE_DIST) |
|
7 mkdir -p $(OUTPUTROOT)/dist |
|
8 ln -s $< $@ |
|
9 |
|
10 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
|
11 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |