Admin/makedist
changeset 2686 351c45bb338d
parent 2668 72a962676702
child 2776 7e99c2cbfb24
     1.1 --- a/Admin/makedist	Thu Feb 27 12:10:28 1997 +0100
     1.2 +++ b/Admin/makedist	Thu Feb 27 13:44:55 1997 +0100
     1.3 @@ -34,6 +34,7 @@
     1.4  
     1.5      * Check that README files are up to date (should have Id: lines).
     1.6      * Check that Pure/ROOT.ML/version is up to date!
     1.7 +    * Check release name and date in NEWS!
     1.8      * Make sure that the repository version of Doc is consistent
     1.9        (watch out for *.bbl, *.rao, *.ind)!
    1.10  EOF