diff -r cd2cd49e6c8f -r 49c1f9dedc56 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Thu Jun 09 11:04:02 2005 +0200
+++ b/Admin/CHECKLIST	Thu Jun 09 11:04:54 2005 +0200
@@ -1,12 +1,11 @@
-
 Checklist for official releases
 ===============================
 
 - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
-up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
-``ProofGeneral.write_keywords "ZF"'';
+  up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
+  ``ProofGeneral.write_keywords "ZF"'';
 
-- check ANNOUNCE, README, INSTALL, NEWS, Admin/page;
+- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website;
 
 - run tests with *all* supported ML systems (yes this is tedious!);
 
@@ -24,6 +23,9 @@
     Doc/Logics/logics.tex
 
 - after release: 
-  update Admin/page/DISTNAME and Admin/page/Contents in CVS
+    commit new Admin/website/include/documentationdist.include.html to CVS
+    [ commit new Admin/website/conf/distname.mak to CVS
+    !!! this is currently not part of CVS, so ignore this description;
+    !!! perhaps we will need to add it
 
 $Id$