Admin/website/build/localconf.at.template.mak

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/build/localconf.at.template.mak	Sat Jun 04 10:26:08 2005 +0200
@@ -0,0 +1,33 @@
+# isaweb configuration
+# $Id$
+
+# python interpreter (> 2.2)
+PYTHON=python
+
+# GNU find
+FIND=find
+
+# HTML tidy (needs not to be set if tidy usuage is disabled, see below)
+TIDY=tidy
+
+# dirs to copy to build target
+COPYDIRS=img media dist/css dist/img
+
+# build target (attention: ~ will not work!)
+OUTPUTROOT=$(HOME)/isaweb_public
+
+# current distribution name
+DISTNAME=Isabelle2004
+
+# location of isabelle distribution packages
+ISABELLE_DIST=/home/html/isabelle/html-data/dist
+
+# location of doc content file
+ISABELLE_DOC_CONTENT_FILE=$(HOME)/isabelle/Distribution/doc/Contents
+
+# 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=
+
+# set to a true value to disable html tidy postprocessing
+DISABLE_TIDY=