author | haftmann |
Sat, 04 Jun 2005 10:26:08 +0200 | |
changeset 16233 | e634d33deb86 |
child 16242 | f0d154b21b86 |
permissions | -rw-r--r-- |
16233 | 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/' $< $@ |