--- a/Admin/website/build/main.mak Sun Jun 05 14:00:50 2005 +0200
+++ b/Admin/website/build/main.mak Sun Jun 05 14:33:02 2005 +0200
@@ -97,7 +97,7 @@
echo 'DEP_HTML=$$(DEP_ALLSTATIC) $$(DEP_SYMLINKS) include/documentationdist.include.html $(DEP_FILE) $(CONF)' >> $(DEP_FILE); \
echo >> $(DEP_FILE); \
allhtml=''; \
- for html in `$(FIND) . -name "*.html" -a ! -name "*.include.html"`; \
+ for html in `$(FIND) . -P -name "*.html" -a ! -name "*.include.html"`; \
do \
outputfile=$(OUTPUTROOT)/$$html; \
outputdir=`dirname $$outputfile`; \
--- a/Admin/website/build/project.mak Sun Jun 05 14:00:50 2005 +0200
+++ b/Admin/website/build/project.mak Sun Jun 05 14:33:02 2005 +0200
@@ -4,13 +4,21 @@
symlinks: $(DEP_SYMLINKS)
.PHONY: symlinks
-DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
+#~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
+
+#~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
+ #~ mkdir -p $(OUTPUTROOT)/dist
+ #~ ln -s $< $@
-$(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
- mkdir -p $(OUTPUTROOT)/dist
+#~ $(OUTPUTROOT)/library: $(ISABELLE_LIBR)
+ #~ ln -s $< $@
+
+DEP_SYMLINKS=dist/packages library
+
+dist/packages: $(ISABELLE_DIST)
ln -s $< $@
-$(OUTPUTROOT)/library: $(ISABELLE_LIBR)
+library: $(ISABELLE_LIBR)
ln -s $< $@
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)