(GTK resources): Update menu for changed node name.

diff --git a/man/xresources.texi b/man/xresources.texi
index cd11e5ccd9a7faa4da90bee768a97fc24c74a52c..3b55edfa5b37a9b867a4f6f10b60d84e9376d76d 100644 (file)
--- a/man/xresources.texi
+++ b/man/xresources.texi
@@ -631,7 +631,7 @@ find the document online, at
 
 @menu
 * GTK widget names::      How widgets in GTK are named in general.
-* GTK names in Emacs::    GTK widget names in Emacs.
+* GTK Names in Emacs::    GTK widget names in Emacs.
 * GTK styles::            What can be customized in a GTK widget.
 @end menu