--- a/Admin/rsyncd.conf Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/rsyncd.conf Tue Sep 27 15:30:37 2005 +0200
@@ -1,8 +1,4 @@
-#
# rsync server configuration
-#
-# $Id$
-#
uid = nobody
gid = nobody
@@ -10,7 +6,15 @@
log file = /tmp/rsyncd.log
read only = true
+[isabelle-website]
+ path = /home/proj/isabelle/website
+ comment = Isabelle website
+
+[isabelle-distribution]
+ path = /home/proj/isabelle/website/dist
+ comment = Isabelle distribution
+
+# Sydney legacy link
[isabelle-dist]
- path = /home/html/isabelle/html-data/dist/
- comment = Isabelle distribution area
-
+ path = /home/html/isabelle/html-data/dist/
+ comment = Isabelle distribution area