fixed some inconveniencies in website
authorhaftmann
Mon Nov 21 10:44:14 2005 +0100 (2005-11-21)
changeset 18214857444b28267
parent 18213 c22ee06ac1a7
child 18215 a28879118978
fixed some inconveniencies in website
Admin/isasync
Admin/website/README
Admin/website/TODO
Admin/website/build/project.mak
     1.1 --- a/Admin/isasync	Sat Nov 19 14:22:28 2005 +0100
     1.2 +++ b/Admin/isasync	Mon Nov 21 10:44:14 2005 +0100
     1.3 @@ -128,4 +128,4 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -exec rsync -va $ARGS "rsync://isabelle.in.tum.de/$SRC/." "$DEST/."
     1.8 +exec rsync -va $ARGS "rsync://isabelle.in.tum.de/$SRC" "$DEST/"
     2.1 --- a/Admin/website/README	Sat Nov 19 14:22:28 2005 +0100
     2.2 +++ b/Admin/website/README	Mon Nov 21 10:44:14 2005 +0100
     2.3 @@ -117,7 +117,7 @@
     2.4  * do "make perms" to set file owner group (isabelle) and permissions
     2.5    (rw-rw-r--, rwxrwsr-x)
     2.6  * do your changes
     2.7 -* just type make - the website is builded to the website synchronization cache
     2.8 +* just type make - the website is built to the website synchronization cache
     2.9  * then do CVS commit
    2.10  * for updating the webpage in Munich, just use Admin/mirror-website
    2.11  * if the Isabelle distribution files themselves change, some handwired updating
     3.1 --- a/Admin/website/TODO	Sat Nov 19 14:22:28 2005 +0100
     3.2 +++ b/Admin/website/TODO	Mon Nov 21 10:44:14 2005 +0100
     3.3 @@ -1,9 +1,3 @@
     3.4 -For the release:
     3.5 -- announce build bed
     3.6 -- abandon old scripts: mirror-*, rsyncisabelle
     3.7 -- abandon old cache
     3.8 -- cleanup website mess
     3.9 -
    3.10  In the mid-time:
    3.11  - a gentle intro enumeration on Home - "Why Isabelle?"
    3.12      * stably running, mature system
     4.1 --- a/Admin/website/build/project.mak	Sat Nov 19 14:22:28 2005 +0100
     4.2 +++ b/Admin/website/build/project.mak	Mon Nov 21 10:44:14 2005 +0100
     4.3 @@ -20,21 +20,21 @@
     4.4  	mkdir -p $@
     4.5  	$(COPY) -vRud $</[^w]* $@
     4.6  	-chgrp -hR $(TARGET_GROUP) $@
     4.7 -	-chmod -R u-w,g-w,o-w $@
     4.8 -	-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
     4.9 +	-chmod -R u+w,g-w,o-w $@
    4.10 +	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
    4.11  	-chgrp -h $(TARGET_GROUP) $@/Isabelle
    4.12 -	-chmod u-w,g-w,o-w $@/Isabelle
    4.13 +	-chmod u+w,g-w,o-w $@/Isabelle
    4.14  
    4.15  else
    4.16  
    4.17  $(OUTPUTROOT)/dist: $(ISABELLE_DIST) SYNC_ALWAYS
    4.18  	mkdir -p $@
    4.19 -	$(RSYNC) -v --exclude='/website/' -rltgoD --delete --delete-after $</ $@
    4.20 +	$(RSYNC) -v --exclude='/website/' -rlt --delete --delete-after $</ $@
    4.21  	-chgrp -hR $(TARGET_GROUP) $@
    4.22 -	-chmod -R u-w,g-w,o-w $@
    4.23 -	-[ ! -e Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
    4.24 +	-chmod -R u+w,g-w,o-w $@
    4.25 +	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
    4.26  	-chgrp -h $(TARGET_GROUP) $@/Isabelle
    4.27 -	-chmod u-w,g-w,o-w $@/Isabelle
    4.28 +	-chmod u+w,g-w,o-w $@/Isabelle
    4.29  
    4.30  SYNC_ALWAYS:
    4.31