(Re)checked mini.texi.

diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE
index 4b623c99ad67ef384f13cd02534c478db2a387e5..fe501df1dcd5d982f3d1cf9d7b6aed29232caeac 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