diff -r 549fe09d27b1 -r f546af04142a Admin/website/build/localconf.sun.template.mak
--- a/Admin/website/build/localconf.sun.template.mak	Tue Oct 04 08:49:24 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak	Tue Oct 04 09:19:17 2005 +0200
@@ -15,9 +15,12 @@
 STATICDIRS=css img media misc
 
 # umask/group for target files
-TARGET_UMASK_FILE=664
-TARGET_UMASK_DIR=775
+TARGET_UMASK_FILE=u=rw,g=rw,o=r
+TARGET_UMASK_DIR=u=rwx,g=rwx,o=rx,g+s
 TARGET_GROUP=isabelle
+LOCAL_UMASK_FILE=u=rw,g=rw,o=r
+LOCAL_UMASK_DIR=u=rwx,g=rwx,o=rx,g+s
+LOCAL_GROUP=isabelle
 
 # python interpreter (>= 2.3)
 PYTHON=python2.3