# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1198716146 0
# Node ID 42fcc181bfccb51a20f56f28fd0f5b82a3851365
# Parent  03462299be3f45adbffb9d122a0150d0f6ea2bf5
*** empty log message ***

diff -r 03462299be3f -r 42fcc181bfcc man/ChangeLog
--- a/man/ChangeLog	Thu Dec 27 00:42:20 2007 +0000
+++ b/man/ChangeLog	Thu Dec 27 00:42:26 2007 +0000
@@ -1,3 +1,13 @@
+2007-12-27  Richard Stallman  <rms@gnu.org>
+
+	* text.texi (Formatted Text): Improve menu tag.
+	(Editing Format Info): In Info, add duplicate menu of nodes
+	about the submenus.
+	(Format Faces): Say where Faces menu is found.  Mention Other.
+	(Format Colors): Say where these submenus are found.
+	(Format Indentation, Format Justification): Likewise.
+	(Format Properties): Likewise.
+
 2007-12-22  Richard Stallman  <rms@gnu.org>
 
 	* search.texi (Query Replace): Make exp of query-replace more