equal
deleted
inserted
replaced
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 STATICDIRS=img media dist/css dist/img dist/packages dist/misc |
14 STATICDIRS=css img media misc dist |
15 |
15 |
16 # build target (attention: ~ will not work!) |
16 # build target (attention: ~ will not work!) |
17 OUTPUTROOT=/usr/proj/isabelle-repository/www |
17 OUTPUTROOT=/home/proj/isabelle/website |
18 |
18 |
19 # location of isabelle distribution packages |
19 # location of isabelle distribution packages |
20 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004 |
20 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004 |
21 |
21 |
22 # location of isabelle library |
22 # location of isabelle library |