Fix documentation for 'eudc-options-file'

* doc/misc/eudc.texi (The Server Hotlist): Update the default
value of 'eudc-options-file'.

Backport:

(cherry picked from commit 0575fd95d0b92a9a0ebff8df183a449190f74dbc)

diff --git a/doc/misc/eudc.texi b/doc/misc/eudc.texi
index 87cfab627aeeb80ce473bc6271cb1acc554d0ded..1bbb108b8baf62149b19deb451f02662ac0765b2 100644 (file)
--- a/doc/misc/eudc.texi
+++ b/doc/misc/eudc.texi
@@ -783,12 +783,11 @@ Add the current server to the hotlist of servers
 @end deffn
 
 @defvar eudc-options-file
-The name of a file where EUDC stores its internal variables
-(the hotlist and the current server).  EUDC will try to load
-that file upon initialization so, if you choose a file name
-different from the defaults @file{~/.eudc-options}, be sure to set this
-variable to the appropriate value @emph{before} EUDC is itself
-loaded.
+The name of a file where EUDC stores its internal variables (the
+hotlist and the current server).  EUDC will try to load that file upon
+initialization so, if you choose a file name different from the
+defaults @file{~/.emacs.d/eudc-options}, be sure to set this variable
+to the appropriate value @emph{before} EUDC is itself loaded.
 @end defvar
 
 @menu