diff options
| author | Michael Albinus | 2018-05-29 12:55:04 +0200 |
|---|---|---|
| committer | Michael Albinus | 2018-05-29 12:55:04 +0200 |
| commit | fd6f08840eb095465dfe555785eee228306ab876 (patch) | |
| tree | 0b7ec3422d6504d09205cf8cd844a823223ed7af /doc/misc | |
| parent | e5b98e02731556f891003d10ab6fc76e6b1c3dcb (diff) | |
| download | emacs-fd6f08840eb095465dfe555785eee228306ab876.tar.gz emacs-fd6f08840eb095465dfe555785eee228306ab876.zip | |
* doc/misc/tramp.texi (All): Use @code instead of @option for user options.
Diffstat (limited to 'doc/misc')
| -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. | |||
| 3500 | When connecting to a local host, @value{tramp} uses some internal | 3500 | When connecting to a local host, @value{tramp} uses some internal |
| 3501 | optimizations. They fail, when there is a chrooted environment. In | 3501 | optimizations. They fail, when there is a chrooted environment. In |
| 3502 | order to disable those optimizations, set user option | 3502 | order to disable those optimizations, set user option |
| 3503 | @option{tramp-local-host-regexp} to @code{nil}. | 3503 | @code{tramp-local-host-regexp} to @code{nil}. |
| 3504 | 3504 | ||
| 3505 | 3505 | ||
| 3506 | @item | 3506 | @item |