# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1119489630 0
# Node ID 5a0f08de3a11684060742a364c0c14534cc338ac
# Parent  b30d9d1d20b5a22a5c495bcac8e2f42b1708ef6f
(Miscellaneous): Texinfo usage fix.

diff -r b30d9d1d20b5 -r 5a0f08de3a11 man/ediff.texi
--- a/man/ediff.texi	Thu Jun 23 01:19:43 2005 +0000
+++ b/man/ediff.texi	Thu Jun 23 01:20:30 2005 +0000
@@ -2266,7 +2266,7 @@
 
 @item ediff-make-buffers-readonly-at-startup nil
 @vindex ediff-make-buffers-readonly-at-startup
-If t, all variant buffers are made read-only at Ediff startup.
+If @code{t}, all variant buffers are made read-only at Ediff startup.
 
 @item ediff-keep-variants
 @vindex @code{ediff-keep-variants}