Admin/website/build/localconf.sun.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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
# isaweb configuration
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
# $Id$
e634d33deb86 added new website
haftmann
parents:
diff changeset
     3
e634d33deb86 added new website
haftmann
parents:
diff changeset
     4
# python interpreter (> 2.2)
e634d33deb86 added new website
haftmann
parents:
diff changeset
     5
PYTHON=python2.3
e634d33deb86 added new website
haftmann
parents:
diff changeset
     6
e634d33deb86 added new website
haftmann
parents:
diff changeset
     7
# GNU find
e634d33deb86 added new website
haftmann
parents:
diff changeset
     8
FIND=gfind
e634d33deb86 added new website
haftmann
parents:
diff changeset
     9
16235
f4c43d241eb7 (temporary remove, forgotten the -b flag...)
haftmann
parents: 16233
diff changeset
    10
# HTML tidy (needs not to be set if tidy usage is disabled, see below)
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    11
TIDY=tidy
e634d33deb86 added new website
haftmann
parents:
diff changeset
    12
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
# dirs to copy to build target
16235
f4c43d241eb7 (temporary remove, forgotten the -b flag...)
haftmann
parents: 16233
diff changeset
    14
STATICDIRS=img media dist/css dist/img
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
e634d33deb86 added new website
haftmann
parents:
diff changeset
    16
# build target (attention: ~ will not work!)
16244
8c3063bf8b9f added library symlink
haftmann
parents: 16243
diff changeset
    17
OUTPUTROOT=$(HOME)/isabelle_website
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    18
e634d33deb86 added new website
haftmann
parents:
diff changeset
    19
# current distribution name
e634d33deb86 added new website
haftmann
parents:
diff changeset
    20
DISTNAME=Isabelle2004
e634d33deb86 added new website
haftmann
parents:
diff changeset
    21
e634d33deb86 added new website
haftmann
parents:
diff changeset
    22
# location of isabelle distribution packages
16243
5f1561806a6f added library symlink
haftmann
parents: 16235
diff changeset
    23
ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
5f1561806a6f added library symlink
haftmann
parents: 16235
diff changeset
    24
5f1561806a6f added library symlink
haftmann
parents: 16235
diff changeset
    25
# location of isabelle library 
5f1561806a6f added library symlink
haftmann
parents: 16235
diff changeset
    26
ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    27
e634d33deb86 added new website
haftmann
parents:
diff changeset
    28
# location of doc content file
16243
5f1561806a6f added library symlink
haftmann
parents: 16235
diff changeset
    29
ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
e634d33deb86 added new website
haftmann
parents:
diff changeset
    31
# set to a true value to use the "pypager iso-8859-1" hack
e634d33deb86 added new website
haftmann
parents:
diff changeset
    32
# (may be neccessary for older versions of HTML tidy)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    33
FORCE_ISO_8859_1=
e634d33deb86 added new website
haftmann
parents:
diff changeset
    34
e634d33deb86 added new website
haftmann
parents:
diff changeset
    35
# set to a true value to disable html tidy postprocessing
e634d33deb86 added new website
haftmann
parents:
diff changeset
    36
DISABLE_TIDY=