From: teranisi <teranisi>
Date: Mon, 4 Sep 2000 02:05:15 +0000 (+0000)
Subject: Fix: `elmo-pop3-default-port' -> `elmo-default-pop3-port'.
X-Git-Url: http://git.chise.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=52f9bd87bfb512855721f6c616c7935d65241afc;p=elisp%2Fwanderlust.git

Fix: `elmo-pop3-default-port' -> `elmo-default-pop3-port'.
(by Tsunehiko Baba <tbaba@mtl.t.u-tokyo.ac.jp>)
---

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