diff --git a/Admin/Release/mirror-website b/Admin/Release/mirror-website
--- a/Admin/Release/mirror-website
+++ b/Admin/Release/mirror-website
@@ -1,21 +1,21 @@
 #!/usr/bin/env bash
 #
 # mirrors the Isabelle website
 
 HOST=$(hostname)
 
 case ${HOST} in
   sunbroy* | atbroy* | macbroy* | lxbroy* | lxcisa*)
-    DEST=/home/html/isabelle/html-data
+    DEST=/p/home/isabelle/html-data/html-data
     ;;
   *.cl.cam.ac.uk)
     USER=paulson
     DEST=/anfs/bigdisc/lp15/Isabelle
     ;;
   *)
     echo "Unknown destination directory for ${HOST}"
     exit 2
     ;;
 esac
 
 exec $(dirname $0)/isasync $DEST