| changeset 16323 | 7115adb43f3f |
| parent 16300 | a4e163c7ed9c |
| child 16329 | c045695273a3 |
--- a/Admin/website/build/project.mak Wed Jun 08 02:28:28 2005 +0200 +++ b/Admin/website/build/project.mak Wed Jun 08 14:54:39 2005 +0200 @@ -17,6 +17,7 @@ $(OUTPUTROOT)/library: $(ISABELLE_LIBR) ln -s $< $@ + chmod $(TARGET_UMASK_DIR) $@ include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE) perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@