--- a/Admin/website/build/project.mak Sun Jun 05 14:41:23 2005 +0200
+++ b/Admin/website/build/project.mak Sun Jun 05 14:58:16 2005 +0200
@@ -7,15 +7,15 @@
#~ mkdir -p $(OUTPUTROOT)/dist
#~ ln -s $< $@
-#~ $(OUTPUTROOT)/library: $(ISABELLE_LIBR)
- #~ ln -s $< $@
-
-DEP_SYMLINKS=dist/packages library
+DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/library
dist/packages: $(ISABELLE_DIST)
ln -s $< $@
-library: $(ISABELLE_LIBR)
+#~ library: $(ISABELLE_LIBR)
+#~ ln -s $< $@
+
+$(OUTPUTROOT)/library: $(ISABELLE_LIBR)
ln -s $< $@
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)