Admin/CHECKLIST

--- a/Admin/CHECKLIST	Fri Apr 22 00:34:15 2005 +0200
+++ b/Admin/CHECKLIST	Fri Apr 22 01:38:13 2005 +0200
@@ -19,9 +19,11 @@
     Admin/makedist
     Distribution/build
     Distribution/lib/Tools/makeall
-    Distribution/lib/html/index1.html
-    Distribution/lib/html/index2.html
+    Distribution/lib/html/index.html
     Doc/Logics/intro.tex
     Doc/Logics/logics.tex
 
+- after release: 
+  update Admin/page/DISTNAME and Admin/page/Contents in CVS
+
 $Id$