isabelle: Admin/website/build/localconf.sun.template.mak@f5e84acd7d3f (annotated)

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
17910 2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	9	ISABELLE_DIST=$(DISTBASE)
17742 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
17945 2146e292f62f towards an improved website/makedist integration haftmann parents: 17910 diff changeset	12	ISABELLE_DOC_CONTENT_FILE=$(DISTBASE)/$(DISTNAME)/doc/Contents
17742 549fe09d27b1 improved dependency build haftmann parents: 17679 diff changeset	13
549fe09d27b1 improved dependency build haftmann parents: 17679 diff changeset	14	# umask/group for target files
17743 f546af04142a support for setting local permissions haftmann parents: 17742 diff changeset	15	TARGET_UMASK_FILE=u=rw,g=rw,o=r
f546af04142a support for setting local permissions haftmann parents: 17742 diff changeset	16	TARGET_UMASK_DIR=u=rwx,g=rwx,o=rx,g+s
17742 549fe09d27b1 improved dependency build haftmann parents: 17679 diff changeset	17	TARGET_GROUP=isabelle
17743 f546af04142a support for setting local permissions haftmann parents: 17742 diff changeset	18	LOCAL_UMASK_FILE=u=rw,g=rw,o=r
f546af04142a support for setting local permissions haftmann parents: 17742 diff changeset	19	LOCAL_UMASK_DIR=u=rwx,g=rwx,o=rx,g+s
f546af04142a support for setting local permissions haftmann parents: 17742 diff changeset	20	LOCAL_GROUP=isabelle
17742 549fe09d27b1 improved dependency build haftmann parents: 17679 diff changeset	21
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17563 diff changeset	22	# python interpreter (>= 2.3)
16233 e634d33deb86 added new website haftmann parents: diff changeset	23	PYTHON=python2.3
e634d33deb86 added new website haftmann parents: diff changeset	24
e634d33deb86 added new website haftmann parents: diff changeset	25	# GNU find
e634d33deb86 added new website haftmann parents: diff changeset	26	FIND=gfind
e634d33deb86 added new website haftmann parents: diff changeset	27
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17563 diff changeset	28	# GNU copy
e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17563 diff changeset	29	COPY=gcp
e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17563 diff changeset	30
16235 f4c43d241eb7 (temporary remove, forgotten the -b flag...) haftmann parents: 16233 diff changeset	31	# HTML tidy (needs not to be set if tidy usage is disabled, see below)
16233 e634d33deb86 added new website haftmann parents: diff changeset	32	TIDY=tidy
e634d33deb86 added new website haftmann parents: diff changeset	33
17910 2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	34	# rsync (if not set, use dumb cp instead)
2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	35	RSYNC=rsync
2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	36
16233 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=

author	haftmann
	Tue, 28 Mar 2006 10:13:51 +0200
changeset 19331	f5e84acd7d3f
parent 17945	2146e292f62f
permissions	-rw-r--r--