Admin/CHECKLIST
changeset 24619 c2e6a0f8c30b
parent 16328 49c1f9dedc56
child 24883 62b2f9db943b
equal deleted inserted replaced
24618:6ab574864cd4 24619:c2e6a0f8c30b
    22     Doc/Logics/intro.tex
    22     Doc/Logics/intro.tex
    23     Doc/Logics/logics.tex
    23     Doc/Logics/logics.tex
    24 
    24 
    25 - after release: 
    25 - after release: 
    26     commit new Admin/website/include/documentationdist.include.html to CVS
    26     commit new Admin/website/include/documentationdist.include.html to CVS
    27     [ commit new Admin/website/conf/distname.mak to CVS
    27     !!! commit new Admin/website/conf/distname.mak to CVS
    28     !!! this is currently not part of CVS, so ignore this description;
    28     !!! this is currently not part of CVS, so ignore this description;
    29     !!! perhaps we will need to add it
    29     !!! perhaps we will need to add it
    30 
    30 
    31 $Id$
    31 $Id$