--- a/Admin/website/build/localconf.sun.template.mak Wed Jun 08 02:28:28 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak Wed Jun 08 14:54:39 2005 +0200
@@ -14,10 +14,7 @@
STATICDIRS=img media dist/css dist/img dist/packages dist/misc
# build target (attention: ~ will not work!)
-OUTPUTROOT=$(HOME)/isabelle_website
-
-# current distribution name
-DISTNAME=Isabelle2004
+OUTPUTROOT=/usr/proj/isabelle-repository/www
# location of isabelle distribution packages
ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
@@ -28,6 +25,10 @@
# location of doc content file
ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents
+# umask for target files
+TARGET_UMASK_FILE=664
+TARGET_UMASK_DIR=775
+
# set to a true value to use the "pypager iso-8859-1" hack
# (may be neccessary for older versions of HTML tidy)
FORCE_ISO_8859_1=