# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1145829388 0
# Node ID 23205c99093c33f50a0d2875cac6fa55720619c3
# Parent  c26552fcb626068c4310bae4be199e99ea9dd22d
[TeX]: Use xresmini.texi instead of xresources.texi.

diff -r c26552fcb626 -r 23205c99093c man/emacs.texi
--- a/man/emacs.texi	Sun Apr 23 21:53:05 2006 +0000
+++ b/man/emacs.texi	Sun Apr 23 21:56:28 2006 +0000
@@ -1544,7 +1544,12 @@
 
 @include doclicense.texi
 @include cmdargs.texi
+@iftex
+@include xresmini.texi
+@end iftex
+@ifnottex
 @include xresources.texi
+@end ifnottex
 
 @include anti.texi
 @include macos.texi