diff 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 cabbc9d7269..0a968e39452 100644 --- a/doc/misc/tramp.texi +++ b/doc/misc/tramp.texi | |||
| @@ -442,7 +442,7 @@ are optional, in case of a missing part a default value is assumed. | |||
| 442 | The default value for an empty local file name part is the remote | 442 | The default value for an empty local file name part is the remote |
| 443 | user's home directory. The shortest remote file name is | 443 | user's home directory. The shortest remote file name is |
| 444 | @file{@trampfn{-,,}}, therefore. The @samp{-} notation for the | 444 | @file{@trampfn{-,,}}, therefore. The @samp{-} notation for the |
| 445 | default host is used for syntactical reasons, @ref{Default Host}. | 445 | default method is used for syntactical reasons, @ref{Default Method}. |
| 446 | 446 | ||
| 447 | The @code{method} part describes the connection method used to reach | 447 | The @code{method} part describes the connection method used to reach |
| 448 | the remote host, see below. | 448 | the remote host, see below. |