# HG changeset patch
# User kleing
# Date 963406075 -7200
# Node ID c406d0af93683b56c461f1d2ade0edd962765fbf
# Parent  4ccadbdbbd2488e35d7f48f5b53a7f6b2f9a9b31
about.html -> logics.html

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)