Admin/makepage

--- a/Admin/makepage	Mon Jan 17 15:51:37 2000 +0100
+++ b/Admin/makepage	Mon Jan 17 15:56:58 2000 +0100
@@ -4,7 +4,7 @@
 #
 # makemainpage -- make main Isabelle web pages
 
-TARGET=/usr/proj/isabelle-repository/web
+TARGET=/usr/proj/isabelle-repository/www
 FILES="index.html docs.html about.html cambridge.gif munich.gif"
 PREFIX=main