# HG changeset patch # User haftmann # Date 1132566254 -3600 # Node ID 857444b28267f40d6c8f71c670b654f2b6da8501 # Parent c22ee06ac1a7045d703c49a81f104244a1c8854f fixed some inconveniencies in website diff -r c22ee06ac1a7 -r 857444b28267 Admin/isasync --- a/Admin/isasync Sat Nov 19 14:22:28 2005 +0100 +++ b/Admin/isasync Mon Nov 21 10:44:14 2005 +0100 @@ -128,4 +128,4 @@ ## main -exec rsync -va $ARGS "rsync://isabelle.in.tum.de/$SRC/." "$DEST/." +exec rsync -va $ARGS "rsync://isabelle.in.tum.de/$SRC" "$DEST/" diff -r c22ee06ac1a7 -r 857444b28267 Admin/website/README --- a/Admin/website/README Sat Nov 19 14:22:28 2005 +0100 +++ b/Admin/website/README Mon Nov 21 10:44:14 2005 +0100 @@ -117,7 +117,7 @@ * do "make perms" to set file owner group (isabelle) and permissions (rw-rw-r--, rwxrwsr-x) * do your changes -* just type make - the website is builded to the website synchronization cache +* just type make - the website is built to the website synchronization cache * then do CVS commit * for updating the webpage in Munich, just use Admin/mirror-website * if the Isabelle distribution files themselves change, some handwired updating diff -r c22ee06ac1a7 -r 857444b28267 Admin/website/TODO --- a/Admin/website/TODO Sat Nov 19 14:22:28 2005 +0100 +++ b/Admin/website/TODO Mon Nov 21 10:44:14 2005 +0100 @@ -1,9 +1,3 @@ -For the release: -- announce build bed -- abandon old scripts: mirror-*, rsyncisabelle -- abandon old cache -- cleanup website mess - In the mid-time: - a gentle intro enumeration on Home - "Why Isabelle?" * stably running, mature system diff -r c22ee06ac1a7 -r 857444b28267 Admin/website/build/project.mak --- a/Admin/website/build/project.mak Sat Nov 19 14:22:28 2005 +0100 +++ b/Admin/website/build/project.mak Mon Nov 21 10:44:14 2005 +0100 @@ -20,21 +20,21 @@ mkdir -p $@ $(COPY) -vRud $