(Re)checked mini.texi.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 4b623c9..fe501df 100644 (file)
--- a/admin/FOR-RELEASE
+++ b/admin/FOR-RELEASE
@@ -149,7 +149,7 @@ macos.texi     -- contents need to be evaluated and see what is still
 maintaining.texi  -- cyd
 major.texi        -- cyd
 mark.texi         -- cyd
-mini.texi
+mini.texi         -- cyd
 misc.texi
 msdog.texi
 msdog-xtra.texi