Admin/website/build/localconf.sun.template.mak
author haftmann
Tue, 04 Oct 2005 08:49:24 +0200
changeset 17742 549fe09d27b1
parent 17679 c5f49e4856e3
child 17743 f546af04142a
permissions -rw-r--r--
improved dependency build

# 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=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

# 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=