From: Michael Albinus <michael.albinus@gmx.de>
Date: Tue, 29 May 2018 10:55:04 +0000 (+0200)
Subject: * doc/misc/tramp.texi (All): Use @code instead of @option for user options.
X-Git-Tag: emacs-27.0.90~4976
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=fd6f08840eb095465dfe555785eee228306ab876;p=emacs.git

* 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 c34341b9ac9..38669a06c9c 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
-@option{tramp-local-host-regexp} to @code{nil}.
+@code{tramp-local-host-regexp} to @code{nil}.
 
 
 @item