diff -r f3f4d357b8ad -r dda44b201c4d Admin/mirror-main
--- a/Admin/mirror-main	Sun Jun 05 14:58:16 2005 +0200
+++ b/Admin/mirror-main	Sun Jun 05 15:04:23 2005 +0200
@@ -25,5 +25,7 @@
     ;;
 esac
 
-rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \
+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/.