# HG changeset patch
# User kleing
# Date 1114126693 -7200
# Node ID cbe7ec0cdeb9238382f1a7b41dc106780f83af7e
# Parent  98bff95f88ba7dc2aaaf9e592047cbe858a81386
updated, added Admin/page after-release maintenance

diff -r 98bff95f88ba -r cbe7ec0cdeb9 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$