--- a/Admin/rsyncd.conf	Wed Oct 05 19:28:12 2005 +0200
+++ b/Admin/rsyncd.conf	Thu Oct 06 08:56:15 2005 +0200
@@ -16,5 +16,6 @@
 
 # Sydney legacy link
 [isabelle-dist]
-    path = /home/html/isabelle/html-data/dist/
-    comment = Isabelle distribution area
+    path = /home/proj/isabelle/website
+    comment = Isabelle website
+