changeset 16244 | 8c3063bf8b9f |
parent 16243 | 5f1561806a6f |
child 16278 | dda44b201c4d |
--- a/Admin/website/build/localconf.sun.template.mak Sat Jun 04 22:17:27 2005 +0200 +++ b/Admin/website/build/localconf.sun.template.mak Sat Jun 04 22:29:16 2005 +0200 @@ -14,7 +14,7 @@ STATICDIRS=img media dist/css dist/img # build target (attention: ~ will not work!) -OUTPUTROOT=$(HOME)/isaweb_public +OUTPUTROOT=$(HOME)/isabelle_website # current distribution name DISTNAME=Isabelle2004