--- 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$