diff -r bf4f2c1b26cc -r e9e341bc7d42 Admin/website/build/localconf.sun.template.mak
--- a/Admin/website/build/localconf.sun.template.mak	Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak	Tue Sep 27 15:30:37 2005 +0200
@@ -1,29 +1,29 @@
 # isaweb configuration
 # $Id$
 
-# python interpreter (> 2.2)
+# python interpreter (>= 2.3)
 PYTHON=python2.3
 
 # GNU find
 FIND=gfind
 
+# GNU copy
+COPY=gcp
+
 # 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 dist
+STATICDIRS=css img media misc
 
 # build target (attention: ~ will not work!)
-OUTPUTROOT=/home/proj/isabelle/website
+OUTPUTROOT=$(HOME)/isabelle/website_test
 
 # location of isabelle distribution packages
-ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
-
-# location of isabelle library 
-ISABELLE_LIBR=/home/proj/isabelle/dist/library-Isabelle2004
+ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005
 
 # location of doc content file
-ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents
+ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/doc/Contents
 
 # umask for target files
 TARGET_UMASK_FILE=664