Admin/Release/mirror-website

--- a/Admin/Release/mirror-website	Sun Dec 12 11:18:42 2021 +0100
+++ b/Admin/Release/mirror-website	Sun Dec 12 20:37:38 2021 +0100
@@ -6,7 +6,7 @@
 
 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