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 (file)
--- a/doc/wl-ja.texi
+++ b/doc/wl-ja.texi
@@ -1286,7 +1286,7 @@ default \e$BCM\e(B:
               \e$B=i4|@_Dj$O\e(B "user"\e$B!#\e(B
 \e$B%[%9%HL>\e(B   -> \e$BJQ?t\e(B @code{elmo-default-pop3-server} \e$B$NCM!#\e(B
               \e$B=i4|@_Dj$O\e(B "localhost"\e$B!#\e(B
-\e$B%]!<%HHV9f\e(B -> \e$BJQ?t\e(B @code{elmo-pop3-default-port} \e$B$NCM!#\e(B
+\e$B%]!<%HHV9f\e(B -> \e$BJQ?t\e(B @code{elmo-default-pop3-port} \e$B$NCM!#\e(B
               \e$B=i4|@_Dj$O\e(B 110\e$B!#\e(B
 @end example
 

diff --git a/doc/wl.texi b/doc/wl.texi
index afcfb3e..04afe26 100644 (file)
--- 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