a more spohisticated symlink handling
authorhaftmann
Sun Jun 05 14:33:02 2005 +0200 (2005-06-05)
changeset 16275951803bff5b1
parent 16274 fb68cffed61f
child 16276 3a50bf1f04d0
a more spohisticated symlink handling
Admin/rsync-isabelle
Admin/website/build/main.mak
Admin/website/build/project.mak
     1.1 --- a/Admin/rsync-isabelle	Sun Jun 05 14:33:02 2005 +0200
     1.2 +++ b/Admin/rsync-isabelle	Sun Jun 05 14:33:02 2005 +0200
     1.3 @@ -121,4 +121,4 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -exec rsync -vaL $ARGS rsync://www4.in.tum.de/isabelle-dist/. "$DEST/."
     1.8 +exec rsync -va $ARGS rsync://www4.in.tum.de/isabelle-dist/. "$DEST/."
     2.1 --- a/Admin/website/build/main.mak	Sun Jun 05 14:33:02 2005 +0200
     2.2 +++ b/Admin/website/build/main.mak	Sun Jun 05 14:33:02 2005 +0200
     2.3 @@ -81,7 +81,7 @@
     2.4  	allstatic=''; \
     2.5  	for dir in $(STATICDIRS); \
     2.6  	do \
     2.7 -		for file in `$(FIND) $$dir -type f -a ! -path "*/CVS/*"`; \
     2.8 +		for file in `$(FIND) -L $$dir -type f -a ! -path "*/CVS/*"`; \
     2.9  		do \
    2.10  			outputfile=$(OUTPUTROOT)/$$file; \
    2.11  			outputdir=`dirname $$outputfile`; \
    2.12 @@ -97,7 +97,7 @@
    2.13  	echo 'DEP_HTML=$$(DEP_ALLSTATIC) $$(DEP_SYMLINKS) include/documentationdist.include.html $(DEP_FILE) $(CONF)' >> $(DEP_FILE); \
    2.14  	echo >> $(DEP_FILE); \
    2.15  	allhtml=''; \
    2.16 -	for html in `$(FIND) . -P -name "*.html" -a ! -name "*.include.html"`; \
    2.17 +	for html in `$(FIND) -P . -name "*.html" -a ! -name "*.include.html"`; \
    2.18  	do \
    2.19  		outputfile=$(OUTPUTROOT)/$$html; \
    2.20  		outputdir=`dirname $$outputfile`; \
     3.1 --- a/Admin/website/build/project.mak	Sun Jun 05 14:33:02 2005 +0200
     3.2 +++ b/Admin/website/build/project.mak	Sun Jun 05 14:33:02 2005 +0200
     3.3 @@ -1,9 +1,6 @@
     3.4  # isaweb makefile - project-specific dependencies
     3.5  # $Id$
     3.6  
     3.7 -symlinks: $(DEP_SYMLINKS)
     3.8 -.PHONY: symlinks
     3.9 -
    3.10  #~ DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
    3.11  
    3.12  #~ $(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
    3.13 @@ -22,4 +19,7 @@
    3.14  	ln -s $< $@
    3.15  
    3.16  include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
    3.17 -	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@
    3.18 \ No newline at end of file
    3.19 +	perl build/mkcontents.pl -p '//dist/packages/Isabelle/doc/' $< $@
    3.20 +
    3.21 +symlinks: $(DEP_SYMLINKS)
    3.22 +.PHONY: symlinks