diff options
| -rw-r--r-- | doc/misc/auth.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/misc/auth.texi b/doc/misc/auth.texi index bbb66ecab5b..850441e25d2 100644 --- a/doc/misc/auth.texi +++ b/doc/misc/auth.texi | |||
| @@ -97,8 +97,7 @@ machine @var{mymachine} login @var{myloginname} password @var{mypassword} port @ | |||
| 97 | @end example | 97 | @end example |
| 98 | 98 | ||
| 99 | The @code{machine} is the server (either a DNS name or an IP address). | 99 | The @code{machine} is the server (either a DNS name or an IP address). |
| 100 | It's known as @var{:host} in @code{auth-source-search} queries. You | 100 | It's known as @var{:host} in @code{auth-source-search} queries. |
| 101 | can also use @code{host}. | ||
| 102 | 101 | ||
| 103 | The @code{port} is the connection port or protocol. It's known as | 102 | The @code{port} is the connection port or protocol. It's known as |
| 104 | @var{:port} in @code{auth-source-search} queries. | 103 | @var{:port} in @code{auth-source-search} queries. |