[Emacs-diffs] master fd6f088: * doc/misc/tramp.texi (All): Use @code instead of @option for user options.

[Michael Albinus]

branch: master
commit fd6f08840eb095465dfe555785eee228306ab876
Author: Michael Albinus <address@hidden>
Commit: Michael Albinus <address@hidden>

    * doc/misc/tramp.texi (All): Use @code instead of @option for user options.
---
 doc/misc/tramp.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi
index c34341b..38669a0 100644
--- a/doc/misc/tramp.texi
+++ b/doc/misc/tramp.texi
@@ -3500,7 +3500,7 @@ first saving to a temporary file.
 When connecting to a local host, @value{tramp} uses some internal
 optimizations.  They fail, when there is a chrooted environment.  In
 order to disable those optimizations, set user option
address@hidden to @code{nil}.
address@hidden to @code{nil}.
 
 
 @item