# HG changeset patch
# User wenzelm
# Date 948121018 -3600
# Node ID ceedd1a8bad6aec76b561320dc59739c43a7b3f2
# Parent  ba1498046ee66989e0186931bdbb418afa14ff1a
www;

diff -r ba1498046ee6 -r ceedd1a8bad6 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