diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/gnus.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/gnus.texi b/doc/misc/gnus.texi index 1a1f0d48eb9..c0b504ef5b3 100644 --- a/doc/misc/gnus.texi +++ b/doc/misc/gnus.texi | |||
| @@ -14872,7 +14872,7 @@ The address of the server, like @samp{imap.gmail.com}. | |||
| 14872 | 14872 | ||
| 14873 | @item nnimap-server-port | 14873 | @item nnimap-server-port |
| 14874 | If the server uses a non-standard port, that can be specified here. A | 14874 | If the server uses a non-standard port, that can be specified here. A |
| 14875 | typical port would be @samp{imap} or @samp{imaps}. | 14875 | typical port would be @code{"imap"} or @code{"imaps"}. |
| 14876 | 14876 | ||
| 14877 | @item nnimap-stream | 14877 | @item nnimap-stream |
| 14878 | How @code{nnimap} should connect to the server. Possible values are: | 14878 | How @code{nnimap} should connect to the server. Possible values are: |