# 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