9 |
9 |
10 # HTML tidy (needs not to be set if tidy usage is disabled, see below) |
10 # HTML tidy (needs not to be set if tidy usage is disabled, see below) |
11 TIDY=tidy |
11 TIDY=tidy |
12 |
12 |
13 # dirs to copy to build target |
13 # dirs to copy to build target |
14 COPYDIRS=img media dist/css dist/img |
14 STATICDIRS=img media dist/css dist/img |
15 |
15 |
16 # build target (attention: ~ will not work!) |
16 # build target (attention: ~ will not work!) |
17 OUTPUTROOT=$(HOME)/isaweb_public |
17 OUTPUTROOT=$(HOME)/isaweb_public |
18 |
18 |
19 # current distribution name |
19 # current distribution name |
20 DISTNAME=Isabelle2004 |
20 DISTNAME=Isabelle2004 |
21 |
21 |
22 # location of isabelle distribution packages |
22 # location of isabelle distribution packages |
23 ISABELLE_DIST=/home/html/isabelle/html-data/dist |
23 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004 |
|
24 |
|
25 # location of isabelle library |
|
26 ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library |
24 |
27 |
25 # location of doc content file |
28 # location of doc content file |
26 ISABELLE_DOC_CONTENT_FILE=$(HOME)/isabelle/Distribution/doc/Contents |
29 ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents |
27 |
30 |
28 # set to a true value to use the "pypager iso-8859-1" hack |
31 # set to a true value to use the "pypager iso-8859-1" hack |
29 # (may be neccessary for older versions of HTML tidy) |
32 # (may be neccessary for older versions of HTML tidy) |
30 FORCE_ISO_8859_1= |
33 FORCE_ISO_8859_1= |
31 |
34 |