# HG changeset patch
# User haftmann
# Date 1117974782 -7200
# Node ID fb68cffed61fbef43e25e9990d708d4a37fa5bb3
# Parent  3d5256d3f3f44c3dbb2227c5b792e10b75bd59b6
a more spohisticated symlink handling

diff -r 3d5256d3f3f4 -r fb68cffed61f Admin/website/build/main.mak
--- 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`; \
diff -r 3d5256d3f3f4 -r fb68cffed61f Admin/website/build/project.mak
--- 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)