Admin/CHECKLIST
changeset 15808 cbe7ec0cdeb9
parent 13447 3470596f3cd5
child 16328 49c1f9dedc56
     1.1 --- a/Admin/CHECKLIST	Fri Apr 22 00:34:15 2005 +0200
     1.2 +++ b/Admin/CHECKLIST	Fri Apr 22 01:38:13 2005 +0200
     1.3 @@ -19,9 +19,11 @@
     1.4      Admin/makedist
     1.5      Distribution/build
     1.6      Distribution/lib/Tools/makeall
     1.7 -    Distribution/lib/html/index1.html
     1.8 -    Distribution/lib/html/index2.html
     1.9 +    Distribution/lib/html/index.html
    1.10      Doc/Logics/intro.tex
    1.11      Doc/Logics/logics.tex
    1.12  
    1.13 +- after release: 
    1.14 +  update Admin/page/DISTNAME and Admin/page/Contents in CVS
    1.15 +
    1.16  $Id$