* doc/misc/tramp.texi (All): Use @code instead of @option for user options.

diff --git a/doc/misc/tramp.texi b/doc/misc/tramp.texi
index c34341b9ac9994598dbbf83bfbf0add3a539387a..38669a06c9c94601e409050a17c4d225541b90f3 100644 (file)
--- 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
-@option{tramp-local-host-regexp} to @code{nil}.
+@code{tramp-local-host-regexp} to @code{nil}.
 
 
 @item