diff -r 4ccadbdbbd24 -r c406d0af9368 Admin/makepage
--- a/Admin/makepage	Wed Jul 12 14:47:34 2000 +0200
+++ b/Admin/makepage	Wed Jul 12 14:47:55 2000 +0200
@@ -5,7 +5,7 @@
 # makemainpage -- make main Isabelle web pages
 
 TARGET=/usr/proj/isabelle-repository/www
-FILES="index.html docs.html about.html cambridge.gif munich.gif"
+FILES="index.html docs.html logics.html cambridge.gif munich.gif"
 PREFIX=main
 
 PRG=$(basename $0)