--- a/Admin/website/build/localconf.at.template.mak Tue Oct 04 08:14:15 2005 +0200
+++ b/Admin/website/build/localconf.at.template.mak Tue Oct 04 08:49:24 2005 +0200
@@ -1,6 +1,24 @@
# isaweb configuration
# $Id$
+# build target (attention: ~ will not work!)
+OUTPUTROOT=$(HOME)/isabelle/website_test
+#~ OUTPUTROOT=/home/proj/isabelle/website
+
+# location of isabelle distribution packages
+ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005
+
+# location of doc content file
+ISABELLE_DOC_CONTENT_FILE=$(ISABELLE_DIST)/Isabelle2005/doc/Contents
+
+# dirs to copy to build target
+STATICDIRS=css img media misc
+
+# umask/group for target files
+TARGET_UMASK_FILE=664
+TARGET_UMASK_DIR=775
+TARGET_GROUP=isabelle
+
# python interpreter (>= 2.3)
PYTHON=python
@@ -13,22 +31,6 @@
# HTML tidy (needs not to be set if tidy usage is disabled, see below)
TIDY=tidy
-# dirs to copy to build target
-STATICDIRS=css img media misc
-
-# build target (attention: ~ will not work!)
-OUTPUTROOT=$(HOME)/isabelle/website_test
-
-# location of isabelle distribution packages
-ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005
-
-# location of doc content file
-ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/Isabelle2005/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=