equal
deleted
inserted
replaced
15 #~ library: $(ISABELLE_LIBR) |
15 #~ library: $(ISABELLE_LIBR) |
16 #~ ln -s $< $@ |
16 #~ ln -s $< $@ |
17 |
17 |
18 $(OUTPUTROOT)/library: $(ISABELLE_LIBR) |
18 $(OUTPUTROOT)/library: $(ISABELLE_LIBR) |
19 ln -s $< $@ |
19 ln -s $< $@ |
|
20 chmod $(TARGET_UMASK_DIR) $@ |
20 |
21 |
21 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
22 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) |
22 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |
23 perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@ |
23 |
24 |
24 symlinks: $(DEP_SYMLINKS) |
25 symlinks: $(DEP_SYMLINKS) |