Admin/makedist

--- a/Admin/makedist	Thu Apr 17 10:40:26 1997 +0200
+++ b/Admin/makedist	Thu Apr 17 14:41:08 1997 +0200
@@ -35,6 +35,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 encoding info is consistent (fixencoding)!
     * Make sure that the repository version of Doc is consistent
       (watch out for *.bbl, *.rao, *.ind)!
 EOF