--- a/Admin/website/build/localconf.at.template.mak Tue Oct 04 08:49:24 2005 +0200
+++ b/Admin/website/build/localconf.at.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=python