# HG changeset patch
# User haftmann
# Date 1117910762 -7200
# Node ID f4c43d241eb763ca1a3936f40dadcf6f9b036dd4
# Parent  421c3522f16071db7cfb81e47bfc1e7f25ee0ca5
(temporary remove, forgotten the -b flag...)

diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/build/localconf.at.template.mak
--- 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
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/build/localconf.sun.template.mak
--- 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
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/favicon.ico
Binary file Admin/website/dist/img/favicon.ico has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/isabelle_logo.gif
Binary file Admin/website/dist/img/isabelle_logo.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/screenshot_isabelle_macos.gif
Binary file Admin/website/dist/img/screenshot_isabelle_macos.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/tutorial_cover_big.gif
Binary file Admin/website/dist/img/tutorial_cover_big.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/tutorial_cover_small.gif
Binary file Admin/website/dist/img/tutorial_cover_small.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/univ_cambridge.gif
Binary file Admin/website/dist/img/univ_cambridge.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/dist/img/univ_tum.gif
Binary file Admin/website/dist/img/univ_tum.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/img/c_isabelle_lemmas.gif
Binary file Admin/website/img/c_isabelle_lemmas.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/img/isabelle.gif
Binary file Admin/website/img/isabelle.gif has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/img/isabelle_pg_screenshot_big.png
Binary file Admin/website/img/isabelle_pg_screenshot_big.png has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/img/isabelle_pg_screenshot_small.png
Binary file Admin/website/img/isabelle_pg_screenshot_small.png has changed
diff -r 421c3522f160 -r f4c43d241eb7 Admin/website/media/pg_preview.pdf
Binary file Admin/website/media/pg_preview.pdf has changed