changeset 16303 | fee0a02f61bb |
parent 16278 | dda44b201c4d |
child 16323 | 7115adb43f3f |
--- a/Admin/website/build/localconf.sun.template.mak Mon Jun 06 14:14:27 2005 +0200 +++ b/Admin/website/build/localconf.sun.template.mak Mon Jun 06 15:09:47 2005 +0200 @@ -11,7 +11,7 @@ TIDY=tidy # dirs to copy to build target -STATICDIRS=img media dist/css dist/img +STATICDIRS=img media dist/css dist/img dist/packages dist/misc # build target (attention: ~ will not work!) OUTPUTROOT=$(HOME)/isabelle_website