Admin/CHECKLIST
changeset 24883 62b2f9db943b
parent 24619 c2e6a0f8c30b
child 25178 1cd45207dd3f
equal deleted inserted replaced
24882:b38d16db8804 24883:62b2f9db943b
     1 Checklist for official releases
     1 Checklist for official releases
     2 ===============================
     2 ===============================
     3 
     3 
     4 - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
     4 - Admin/update-keywords;
     5   up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
       
     6   ``ProofGeneral.write_keywords "ZF"'';
       
     7 
     5 
     8 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website;
     6 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
     9 
     7 
    10 - run tests with *all* supported ML systems (yes this is tedious!);
     8 - run tests with all supported ML systems;
    11 
     9 
    12 - maintain Docs:
    10 - maintain Docs:
    13     Doc/Contents
    11     Doc/Contents
    14     Distribution/doc/Contents
    12     Distribution/doc/Contents
    15     Admin/index.html
    13     Admin/index.html
    21     Distribution/lib/html/index.html
    19     Distribution/lib/html/index.html
    22     Doc/Logics/intro.tex
    20     Doc/Logics/intro.tex
    23     Doc/Logics/logics.tex
    21     Doc/Logics/logics.tex
    24 
    22 
    25 - after release: 
    23 - after release: 
    26     commit new Admin/website/include/documentationdist.include.html to CVS
    24     commit new ~isabelle/website/include/documentationdist.include.html to CVS
    27     !!! commit new Admin/website/conf/distname.mak to CVS
    25     !!! commit new Admin/website/conf/distname.mak to CVS
    28     !!! this is currently not part of CVS, so ignore this description;
    26     !!! this is currently not part of CVS, so ignore this description;
    29     !!! perhaps we will need to add it
    27     !!! perhaps we will need to add it
    30 
    28 
    31 $Id$
    29 $Id$