--- a/Admin/mirror-main	Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/mirror-main	Tue Sep 27 15:30:37 2005 +0200
@@ -31,4 +31,4 @@
 echo "Warning: this script now mirrors the *complete* Isabelle site"
 
 rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va --copy-links \
-  $USER@sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/.
+  $USER@sunbroy2.informatik.tu-muenchen.de:/home/proj/isabelle/website/. $DEST/.