# HG changeset patch
# User wenzelm
# Date 856520313 -3600
# Node ID 72a96267670296b683784358d8193262d36611cb
# Parent  b2172eab9ba6f383aeb929352a99d57fc3d4e15d
fixed Id comment;

diff -r b2172eab9ba6 -r 72a962676702 Admin/makedist
--- a/Admin/makedist	Thu Feb 20 17:02:42 1997 +0100
+++ b/Admin/makedist	Fri Feb 21 11:18:33 1997 +0100
@@ -32,7 +32,7 @@
 
   Checklist for official releases (before running this script):
 
-    * Check that README files are up to date (should have \$Id$ lines).
+    * Check that README files are up to date (should have Id: lines).
     * Check that Pure/ROOT.ML/version is up to date!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!