From 795290503039a475e5bd64cb23985e52ee754209 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Sun, 23 Apr 2006 21:56:50 +0000 Subject: [PATCH] [TeX]: Use xresmini.texi instead of xresources.texi. --- man/ChangeLog | 4 ++++ man/emacs.texi | 5 +++++ 2 files changed, 9 insertions(+) diff --git a/man/ChangeLog b/man/ChangeLog index 4874557a692..6d5aeb9ede8 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,5 +1,9 @@ 2006-04-23 Richard Stallman + * 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. diff --git a/man/emacs.texi b/man/emacs.texi index c926961891f..4e01af2a27a 100644 --- a/man/emacs.texi +++ b/man/emacs.texi @@ -1544,7 +1544,12 @@ Public License instead of this License. @include doclicense.texi @include cmdargs.texi +@iftex +@include xresmini.texi +@end iftex +@ifnottex @include xresources.texi +@end ifnottex @include anti.texi @include macos.texi -- 2.39.2