equal
deleted
inserted
replaced
1 # isaweb configuration |
1 # isaweb configuration |
2 # $Id$ |
2 # $Id$ |
|
3 |
|
4 # build target (attention: ~ will not work!) |
|
5 OUTPUTROOT=$(HOME)/isabelle/website_test |
|
6 #~ OUTPUTROOT=/home/proj/isabelle/website |
|
7 |
|
8 # location of isabelle distribution packages |
|
9 ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005 |
|
10 |
|
11 # location of doc content file |
|
12 ISABELLE_DOC_CONTENT_FILE=$(ISABELLE_DIST)/Isabelle2005/doc/Contents |
|
13 |
|
14 # dirs to copy to build target |
|
15 STATICDIRS=css img media misc |
|
16 |
|
17 # umask/group for target files |
|
18 TARGET_UMASK_FILE=664 |
|
19 TARGET_UMASK_DIR=775 |
|
20 TARGET_GROUP=isabelle |
3 |
21 |
4 # python interpreter (>= 2.3) |
22 # python interpreter (>= 2.3) |
5 PYTHON=python2.3 |
23 PYTHON=python2.3 |
6 |
24 |
7 # GNU find |
25 # GNU find |
11 COPY=gcp |
29 COPY=gcp |
12 |
30 |
13 # HTML tidy (needs not to be set if tidy usage is disabled, see below) |
31 # HTML tidy (needs not to be set if tidy usage is disabled, see below) |
14 TIDY=tidy |
32 TIDY=tidy |
15 |
33 |
16 # dirs to copy to build target |
|
17 STATICDIRS=css img media misc |
|
18 |
|
19 # build target (attention: ~ will not work!) |
|
20 OUTPUTROOT=$(HOME)/isabelle/website_test |
|
21 |
|
22 # location of isabelle distribution packages |
|
23 ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005 |
|
24 |
|
25 # location of doc content file |
|
26 ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/Isabelle2005/doc/Contents |
|
27 |
|
28 # umask for target files |
|
29 TARGET_UMASK_FILE=664 |
|
30 TARGET_UMASK_DIR=775 |
|
31 |
|
32 # set to a true value to use the "pypager iso-8859-1" hack |
34 # set to a true value to use the "pypager iso-8859-1" hack |
33 # (may be neccessary for older versions of HTML tidy) |
35 # (may be neccessary for older versions of HTML tidy) |
34 FORCE_ISO_8859_1= |
36 FORCE_ISO_8859_1= |
35 |
37 |
36 # set to a true value to disable html tidy postprocessing |
38 # set to a true value to disable html tidy postprocessing |