Admin/CHECKLIST
changeset 16328 49c1f9dedc56
parent 15808 cbe7ec0cdeb9
child 24619 c2e6a0f8c30b
     1.1 --- a/Admin/CHECKLIST	Thu Jun 09 11:04:02 2005 +0200
     1.2 +++ b/Admin/CHECKLIST	Thu Jun 09 11:04:54 2005 +0200
     1.3 @@ -1,12 +1,11 @@
     1.4 -
     1.5  Checklist for official releases
     1.6  ===============================
     1.7  
     1.8  - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
     1.9 -up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
    1.10 -``ProofGeneral.write_keywords "ZF"'';
    1.11 +  up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
    1.12 +  ``ProofGeneral.write_keywords "ZF"'';
    1.13  
    1.14 -- check ANNOUNCE, README, INSTALL, NEWS, Admin/page;
    1.15 +- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website;
    1.16  
    1.17  - run tests with *all* supported ML systems (yes this is tedious!);
    1.18  
    1.19 @@ -24,6 +23,9 @@
    1.20      Doc/Logics/logics.tex
    1.21  
    1.22  - after release: 
    1.23 -  update Admin/page/DISTNAME and Admin/page/Contents in CVS
    1.24 +    commit new Admin/website/include/documentationdist.include.html to CVS
    1.25 +    [ commit new Admin/website/conf/distname.mak to CVS
    1.26 +    !!! this is currently not part of CVS, so ignore this description;
    1.27 +    !!! perhaps we will need to add it
    1.28  
    1.29  $Id$