diff options
| author | Glenn Morris <rgm@gnu.org> | 2018-02-22 12:42:13 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2018-02-22 12:42:13 -0500 |
| commit | de17b8e5f06f9c70018d6220dd8eb2056eab7bed (patch) | |
| tree | d2f1f4a3e6d200e1307b7f956e17ffe94680ad6f /doc/misc/ediff.texi | |
| parent | 83187cd900c799865c967620eef3b7c18f3d168f (diff) | |
| download | emacs-de17b8e5f06f9c70018d6220dd8eb2056eab7bed.tar.gz emacs-de17b8e5f06f9c70018d6220dd8eb2056eab7bed.tar.bz2 emacs-de17b8e5f06f9c70018d6220dd8eb2056eab7bed.zip | |
Tiny doc/misc markup fixes
* doc/misc/ediff.texi (Patch and Diff Programs):
* doc/misc/viper.texi (File and Buffer Handling): Fix markup typos.
Diffstat (limited to 'doc/misc/ediff.texi')
| -rw-r--r-- | doc/misc/ediff.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/ediff.texi b/doc/misc/ediff.texi index 3547af3e4f5..c0b160cf89b 100644 --- a/doc/misc/ediff.texi +++ b/doc/misc/ediff.texi @@ -1924,7 +1924,7 @@ versions only permit @option{-b}, which (usually) assumes the extension @file{.orig}. Yet others force you to use @option{-z@var{extension}}. -Both @code{ediff-backup-extension} and @var{ediff-backup-specs} must +Both @code{ediff-backup-extension} and @code{ediff-backup-specs} must be properly set. If your patch program takes the option @option{-b}, but not @option{-b @var{extension}}, the variable @code{ediff-backup-extension} must still be set so Ediff will know |