# HG changeset patch
# User wenzelm
# Date 857047495 -3600
# Node ID 351c45bb338dca2e32b1c4814a0f4a14d4b0f056
# Parent  8b3a214125f7fcf5edc33adda3c9d0efe9c79b13
tuned comment;

diff -r 8b3a214125f7 -r 351c45bb338d Admin/makedist
--- a/Admin/makedist	Thu Feb 27 12:10:28 1997 +0100
+++ b/Admin/makedist	Thu Feb 27 13:44:55 1997 +0100
@@ -34,6 +34,7 @@
 
     * Check that README files are up to date (should have Id: lines).
     * Check that Pure/ROOT.ML/version is up to date!
+    * Check release name and date in NEWS!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!
 EOF