Commit 79529050 authored by Richard M. Stallman's avatar Richard M. Stallman
Browse files

[TeX]: Use xresmini.texi instead of xresources.texi.

parent 6bdbc023
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.
......@@ -1544,7 +1544,12 @@ Public License instead of this License.
@include doclicense.texi
@include cmdargs.texi
@include xresmini.texi
@end iftex
@include xresources.texi
@end ifnottex
@include anti.texi
@include macos.texi
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment