From fd6f08840eb095465dfe555785eee228306ab876 Mon Sep 17 00:00:00 2001
From: Michael Albinus <michael.albinus@gmx.de>
Date: Tue, 29 May 2018 12:55:04 +0200
Subject: [PATCH] * 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 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
--
2.39.5