Admin/website/build/localconf.sun.template.mak
author haftmann
Tue, 04 Oct 2005 09:19:17 +0200
changeset 17743 f546af04142a
parent 17742 549fe09d27b1
child 17910 2b435795c9e9
permissions -rw-r--r--
support for setting local permissions
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
17742
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
     4
# build target (attention: ~ will not work!)
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
     5
OUTPUTROOT=$(HOME)/isabelle/website_test
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
     6
#~ OUTPUTROOT=/home/proj/isabelle/website
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
     7
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
     8
# location of isabelle distribution packages
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
     9
ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    10
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    11
# location of doc content file
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    12
ISABELLE_DOC_CONTENT_FILE=$(ISABELLE_DIST)/Isabelle2005/doc/Contents
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    13
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    14
# dirs to copy to build target
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    15
STATICDIRS=css img media misc
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    16
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    17
# umask/group for target files
17743
f546af04142a support for setting local permissions
haftmann
parents: 17742
diff changeset
    18
TARGET_UMASK_FILE=u=rw,g=rw,o=r
f546af04142a support for setting local permissions
haftmann
parents: 17742
diff changeset
    19
TARGET_UMASK_DIR=u=rwx,g=rwx,o=rx,g+s
17742
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    20
TARGET_GROUP=isabelle
17743
f546af04142a support for setting local permissions
haftmann
parents: 17742
diff changeset
    21
LOCAL_UMASK_FILE=u=rw,g=rw,o=r
f546af04142a support for setting local permissions
haftmann
parents: 17742
diff changeset
    22
LOCAL_UMASK_DIR=u=rwx,g=rwx,o=rx,g+s
f546af04142a support for setting local permissions
haftmann
parents: 17742
diff changeset
    23
LOCAL_GROUP=isabelle
17742
549fe09d27b1 improved dependency build
haftmann
parents: 17679
diff changeset
    24
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17563
diff changeset
    25
# python interpreter (>= 2.3)
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    26
PYTHON=python2.3
e634d33deb86 added new website
haftmann
parents:
diff changeset
    27
e634d33deb86 added new website
haftmann
parents:
diff changeset
    28
# GNU find
e634d33deb86 added new website
haftmann
parents:
diff changeset
    29
FIND=gfind
e634d33deb86 added new website
haftmann
parents:
diff changeset
    30
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17563
diff changeset
    31
# GNU copy
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17563
diff changeset
    32
COPY=gcp
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 17563
diff changeset
    33
16235
f4c43d241eb7 (temporary remove, forgotten the -b flag...)
haftmann
parents: 16233
diff changeset
    34
# HTML tidy (needs not to be set if tidy usage is disabled, see below)
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    35
TIDY=tidy
e634d33deb86 added new website
haftmann
parents:
diff changeset
    36
e634d33deb86 added new website
haftmann
parents:
diff changeset
    37
# set to a true value to use the "pypager iso-8859-1" hack
e634d33deb86 added new website
haftmann
parents:
diff changeset
    38
# (may be neccessary for older versions of HTML tidy)
e634d33deb86 added new website
haftmann
parents:
diff changeset
    39
FORCE_ISO_8859_1=
e634d33deb86 added new website
haftmann
parents:
diff changeset
    40
e634d33deb86 added new website
haftmann
parents:
diff changeset
    41
# set to a true value to disable html tidy postprocessing
e634d33deb86 added new website
haftmann
parents:
diff changeset
    42
DISABLE_TIDY=