--- a/Admin/website/build/localconf.at.template.mak Sat Jun 04 18:20:00 2005 +0200
+++ b/Admin/website/build/localconf.at.template.mak Sat Jun 04 20:46:02 2005 +0200
@@ -7,7 +7,7 @@
# GNU find
FIND=find
-# HTML tidy (needs not to be set if tidy usuage is disabled, see below)
+# HTML tidy (needs not to be set if tidy usage is disabled, see below)
TIDY=tidy
# dirs to copy to build target
--- a/Admin/website/build/localconf.sun.template.mak Sat Jun 04 18:20:00 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak Sat Jun 04 20:46:02 2005 +0200
@@ -7,11 +7,11 @@
# GNU find
FIND=gfind
-# HTML tidy (needs not to be set if tidy usuage is disabled, see below)
+# HTML tidy (needs not to be set if tidy usage is disabled, see below)
TIDY=tidy
# dirs to copy to build target
-COPYDIRS=img media dist/css dist/img
+STATICDIRS=img media dist/css dist/img
# build target (attention: ~ will not work!)
OUTPUTROOT=$(HOME)/isaweb_public
Binary file Admin/website/dist/img/favicon.ico has changed
Binary file Admin/website/dist/img/isabelle_logo.gif has changed
Binary file Admin/website/dist/img/screenshot_isabelle_macos.gif has changed
Binary file Admin/website/dist/img/tutorial_cover_big.gif has changed
Binary file Admin/website/dist/img/tutorial_cover_small.gif has changed
Binary file Admin/website/dist/img/univ_cambridge.gif has changed
Binary file Admin/website/dist/img/univ_tum.gif has changed
Binary file Admin/website/img/c_isabelle_lemmas.gif has changed
Binary file Admin/website/img/isabelle.gif has changed
Binary file Admin/website/img/isabelle_pg_screenshot_big.png has changed
Binary file Admin/website/img/isabelle_pg_screenshot_small.png has changed
Binary file Admin/website/media/pg_preview.pdf has changed
