| changeset 16278 | dda44b201c4d |
| parent 14229 | bf89038cf551 |
| child 16292 | fbe2fc30a177 |
--- 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/.