Admin/website/build/localconf.at.template.mak
author haftmann
Sun, 05 Jun 2005 14:33:02 +0200
changeset 16275 951803bff5b1
parent 16244 8c3063bf8b9f
child 16278 dda44b201c4d
permissions -rw-r--r--
a more spohisticated symlink handling

# isaweb configuration
# $Id$

# python interpreter (> 2.2)
PYTHON=python

# GNU find
FIND=find

# HTML tidy (needs not to be set if tidy usage is disabled, see below)
TIDY=tidy

# dirs to copy to build target
STATICDIRS=img media dist/css dist/img

# build target (attention: ~ will not work!)
OUTPUTROOT=$(HOME)/isabelle_website

# current distribution name
DISTNAME=Isabelle2004

# location of isabelle distribution packages
ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004

# location of isabelle library 
ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library

# location of doc content file
ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/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=