(GTK resources): Fix last change.

diff --git a/man/xresources.texi b/man/xresources.texi
index 3b55edfa5b37a9b867a4f6f10b60d84e9376d76d..c88ca6ad142f8b404ddf80c965030ae0b579adc5 100644 (file)
--- a/man/xresources.texi
+++ b/man/xresources.texi
@@ -612,10 +612,10 @@ style "scroll"
 widget "*verticalScrollBar*" style "scroll"
 @end smallexample
 
-  There are also parameters that affect GTK as a whole.  For example, the property
-@c @code{gtk-font-name} sets the default font for GTK.  You must use
-@c Pango font names (@pxref{GTK styles}).  A GTK resources file that
-@c just sets a default font looks like this:
+  There are also parameters that affect GTK as a whole.  For example,
+the property @code{gtk-font-name} sets the default font for GTK.  You
+must use Pango font names (@pxref{GTK styles}).  A GTK resources file
+that just sets a default font looks like this:
 
 @smallexample
 gtk-font-name = "courier 12"