equal
deleted
inserted
replaced
4 # build target (attention: ~ will not work!) |
4 # build target (attention: ~ will not work!) |
5 OUTPUTROOT=$(HOME)/isabelle/website_test |
5 OUTPUTROOT=$(HOME)/isabelle/website_test |
6 #~ OUTPUTROOT=/home/proj/isabelle/website |
6 #~ OUTPUTROOT=/home/proj/isabelle/website |
7 |
7 |
8 # location of isabelle distribution packages |
8 # location of isabelle distribution packages |
9 ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005 |
9 ISABELLE_DIST=$(DISTBASE) |
10 |
10 |
11 # location of doc content file |
11 # location of doc content file |
12 ISABELLE_DOC_CONTENT_FILE=$(ISABELLE_DIST)/Isabelle2005/doc/Contents |
12 ISABELLE_DOC_CONTENT_FILE=$(DISTBASE)/$(DISTIDENT)/doc/Contents |
13 |
13 |
14 # dirs to copy to build target |
14 # dirs to copy to build target |
15 STATICDIRS=css img media misc |
15 STATICDIRS=css img media misc |
16 |
16 |
17 # umask/group for target files |
17 # umask/group for target files |
32 COPY=cp |
32 COPY=cp |
33 |
33 |
34 # HTML tidy (needs not to be set if tidy usage is disabled, see below) |
34 # HTML tidy (needs not to be set if tidy usage is disabled, see below) |
35 TIDY=tidy |
35 TIDY=tidy |
36 |
36 |
|
37 # rsync (if not set, use dumb cp instead) |
|
38 RSYNC=rsync |
|
39 |
37 # set to a true value to use the "pypager iso-8859-1" hack |
40 # set to a true value to use the "pypager iso-8859-1" hack |
38 # (may be neccessary for older versions of HTML tidy) |
41 # (may be neccessary for older versions of HTML tidy) |
39 FORCE_ISO_8859_1= |
42 FORCE_ISO_8859_1= |
40 |
43 |
41 # set to a true value to disable html tidy postprocessing |
44 # set to a true value to disable html tidy postprocessing |