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

diff -r fb68cffed61f -r 951803bff5b1 Admin/rsync-isabelle
--- a/Admin/rsync-isabelle	Sun Jun 05 14:33:02 2005 +0200
+++ b/Admin/rsync-isabelle	Sun Jun 05 14:33:02 2005 +0200
@@ -121,4 +121,4 @@
 
 ## main
 
-exec rsync -vaL $ARGS rsync://www4.in.tum.de/isabelle-dist/. "$DEST/."
+exec rsync -va $ARGS rsync://www4.in.tum.de/isabelle-dist/. "$DEST/."
diff -r fb68cffed61f -r 951803bff5b1 Admin/website/build/main.mak
--- a/Admin/website/build/main.mak	Sun Jun 05 14:33:02 2005 +0200
+++ b/Admin/website/build/main.mak	Sun Jun 05 14:33:02 2005 +0200
@@ -81,7 +81,7 @@
 	allstatic=''; \
 	for dir in $(STATICDIRS); \
 	do \
-		for file in `$(FIND) $$dir -type f -a ! -path "*/CVS/*"`; \
+		for file in `$(FIND) -L $$dir -type f -a ! -path "*/CVS/*"`; \
 		do \
 			outputfile=$(OUTPUTROOT)/$$file; \
 			outputdir=`dirname $$outputfile`; \
@@ -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) . -P -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 fb68cffed61f -r 951803bff5b1 Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Sun Jun 05 14:33:02 2005 +0200
+++ b/Admin/website/build/project.mak	Sun Jun 05 14:33:02 2005 +0200
@@ -1,9 +1,6 @@
 # isaweb makefile - project-specific dependencies
 # $Id$
 
-symlinks: $(DEP_SYMLINKS)
-.PHONY: symlinks
-
 #~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
 
 #~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
@@ -22,4 +19,7 @@
 	ln -s $< $@
 
 include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
-	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@
\ No newline at end of file
+	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@
+
+symlinks: $(DEP_SYMLINKS)
+.PHONY: symlinks