isabelle: Admin/website/build/localconf.sun.template.mak@f055b4fe381e (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	# 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
17910 2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	37	# rsync (if not set, use dumb cp instead)
2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	38	RSYNC=rsync
2b435795c9e9 slight improvements for website haftmann parents: 17743 diff changeset	39
16233 e634d33deb86 added new website haftmann parents: diff changeset	40	# set to a true value to use the "pypager iso-8859-1" hack
e634d33deb86 added new website haftmann parents: diff changeset	41	# (may be neccessary for older versions of HTML tidy)
e634d33deb86 added new website haftmann parents: diff changeset	42	FORCE_ISO_8859_1=
e634d33deb86 added new website haftmann parents: diff changeset	43
e634d33deb86 added new website haftmann parents: diff changeset	44	# set to a true value to disable html tidy postprocessing
e634d33deb86 added new website haftmann parents: diff changeset	45	DISABLE_TIDY=

author	wenzelm
	Fri, 10 Feb 2006 02:22:29 +0100
changeset 18993	f055b4fe381e
parent 17945	2146e292f62f
child 19331	f5e84acd7d3f
permissions	-rw-r--r--