# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1145829410 0
# Node ID 874b926e482a0539d29cd2cb99c569dacefab3fa
# Parent  23205c99093c33f50a0d2875cac6fa55720619c3
*** empty log message ***

diff -r 23205c99093c -r 874b926e482a man/ChangeLog
--- a/man/ChangeLog	Sun Apr 23 21:56:28 2006 +0000
+++ b/man/ChangeLog	Sun Apr 23 21:56:50 2006 +0000
@@ -1,5 +1,9 @@
 2006-04-23  Richard Stallman  <rms@gnu.org>
 
+	* emacs.texi [TeX]: Use xresmini.texi instead of xresources.texi.
+
+	* xresmini.texi: New file.
+
 	* xresources.texi (Face Resources): Split table into font resources
 	and the rest.  Combine similar attributes for brevity.