equal
deleted
inserted
replaced
1 # isaweb makefile - project-specific dependencies |
1 # isaweb makefile - project-specific dependencies |
2 # $Id$ |
2 # $Id$ |
3 |
|
4 symlinks: $(DEP_SYMLINKS) |
|
5 .PHONY: symlinks |
|
6 |
3 |
7 #~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library |
4 #~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library |
8 |
5 |
9 #~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST) |
6 #~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST) |
10 #~ mkdir -p $(OUTPUTROOT)/dist |
7 #~ mkdir -p $(OUTPUTROOT)/dist |
21 library: $(ISABELLE_LIBR) |
18 library: $(ISABELLE_LIBR) |
22 ln -s $< $@ |
19 ln -s $< $@ |
23 |
20 |
24 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
21 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
25 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |
22 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |
|
23 |
|
24 symlinks: $(DEP_SYMLINKS) |
|
25 .PHONY: symlinks |