diff options
author | Michael Albinus <michael.albinus@gmx.de> | 2018-05-29 12:55:04 +0200 |
---|---|---|
committer | Michael Albinus <michael.albinus@gmx.de> | 2018-05-29 12:55:04 +0200 |
commit | fd6f08840eb095465dfe555785eee228306ab876 (patch) | |
tree | 0b7ec3422d6504d09205cf8cd844a823223ed7af | |
parent | e5b98e02731556f891003d10ab6fc76e6b1c3dcb (diff) | |
download | emacs-fd6f08840eb095465dfe555785eee228306ab876.tar.gz |
* doc/misc/tramp.texi (All): Use @code instead of @option for user options.
-rw-r--r-- | doc/misc/tramp.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |