updated, added Admin/page after-release maintenance
authorkleing
Fri Apr 22 01:38:13 2005 +0200 (2005-04-22)
changeset 15808cbe7ec0cdeb9
parent 15807 98bff95f88ba
child 15809 3355abbeced1
updated, added Admin/page after-release maintenance
Admin/CHECKLIST
     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$