Admin/CHECKLIST
changeset 25214 91730b492a45
parent 25178 1cd45207dd3f
child 25236 54b390300227
equal deleted inserted replaced
25213:48a1e80f5cdb 25214:91730b492a45
     1 Checklist for official releases
     1 Checklist for official releases
     2 ===============================
     2 ===============================
     3 
     3 
     4 - Admin/update-keywords;
     4 - Admin/update-keywords;
     5 
     5 
     6 - check ANNOUNCE, README.html, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
     6 - check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, ~isabelle/website;
     7 
     7 
     8 - run tests with all supported ML systems;
     8 - run tests with all supported ML systems;
     9 
     9 
    10 - maintain Docs:
    10 - maintain Docs:
    11     Doc/Contents
    11     Doc/Contents
    19     Distribution/lib/html/index.html
    19     Distribution/lib/html/index.html
    20     Doc/Logics/intro.tex
    20     Doc/Logics/intro.tex
    21     Doc/Logics/logics.tex
    21     Doc/Logics/logics.tex
    22 
    22 
    23 - after release: 
    23 - after release: 
    24     commit new ~isabelle/website/include/documentationdist.include.html to CVS
    24     commit new ~isabelle/website/include/documentationdist.include.html to website SVN
    25     !!! commit new Admin/website/conf/distname.mak to CVS
    25     !!! commit new Admin/website/conf/distname.mak to CVS
    26     !!! this is currently not part of CVS, so ignore this description;
    26     !!! this is currently not part of CVS, so ignore this description;
    27     !!! perhaps we will need to add it
    27     !!! perhaps we will need to add it
    28 
    28 
    29 $Id$
    29 $Id$