changeset 63676:5a0f08de3a11

(Miscellaneous): Texinfo usage fix.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 23 Jun 2005 01:20:30 +0000
parents b30d9d1d20b5
children 0f1e07e44d2d
files man/ediff.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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}