changeset 27594 | 86db6468145d |
parent 25463 | 8b9c4582795a |
child 31086 | 3e69a25b90a2 |
--- a/Admin/mirror-website Mon Jul 14 23:11:20 2008 +0200 +++ b/Admin/mirror-website Mon Jul 14 23:28:26 2008 +0200 @@ -7,10 +7,7 @@ HOST=$(hostname) case ${HOST} in - sunbroy2) - DEST=/home/html/isabelle/html-data - ;; - atbroy*) + sunbroy* | atbroy* | macbroy*) DEST=/home/html/isabelle/html-data ;; *.cl.cam.ac.uk)