diff options
author | Juanma Barranquero <lekktu@gmail.com> | 2005-06-23 01:20:30 +0000 |
---|---|---|
committer | Juanma Barranquero <lekktu@gmail.com> | 2005-06-23 01:20:30 +0000 |
commit | 88167ee35cb699cf145b4e17ba0c3be8da18363e (patch) | |
tree | deb329c245e25483f96689f39e70b83875da01ef | |
parent | e1096c1eee5d2f6db098b0cc1aefa31339f51f8c (diff) | |
download | emacs-88167ee35cb699cf145b4e17ba0c3be8da18363e.tar.gz |
(Miscellaneous): Texinfo usage fix.
-rw-r--r-- | man/ediff.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ediff.texi b/man/ediff.texi index 8e176a49fe0..7b997e4b0eb 100644 --- a/man/ediff.texi +++ b/man/ediff.texi @@ -2266,7 +2266,7 @@ version control, Ediff first tries to check the file out. @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} |