From 52f9bd87bfb512855721f6c616c7935d65241afc Mon Sep 17 00:00:00 2001 From: teranisi Date: Mon, 4 Sep 2000 02:05:15 +0000 Subject: [PATCH] Fix: `elmo-pop3-default-port' -> `elmo-default-pop3-port'. (by Tsunehiko Baba ) --- doc/wl-ja.texi | 2 +- doc/wl.texi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/wl-ja.texi b/doc/wl-ja.texi index 1aba4ca..5494d50 100644 --- a/doc/wl-ja.texi +++ b/doc/wl-ja.texi @@ -1286,7 +1286,7 @@ default 値: 初期設定は "user"。 ホスト名 -> 変数 @code{elmo-default-pop3-server} の値。 初期設定は "localhost"。 -ポート番号 -> 変数 @code{elmo-pop3-default-port} の値。 +ポート番号 -> 変数 @code{elmo-default-pop3-port} の値。 初期設定は 110。 @end example diff --git a/doc/wl.texi b/doc/wl.texi index afcfb3e..04afe26 100644 --- a/doc/wl.texi +++ b/doc/wl.texi @@ -1256,7 +1256,7 @@ default: Initial setting is "user". @var{hostname} -> The value of @code{elmo-default-pop3-server}. Initial setting is "localhost". -@var{port} -> The value of @code{elmo-pop3-default-port}. +@var{port} -> The value of @code{elmo-default-pop3-port}. Initial setting is 110. @end example -- 1.7.10.4