[AUTHORS,INSTALL,doc/mpfr.texi] Updated the e-mail address of the

MPFR mailing-list to match the List-* headers written by the new
mailing-list server (the old one still works, but may lead to bad
interaction with MUA's that attempt to honor the List-Post header
when replying to the list(s)).

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8202 280ebfd0-de03-0410-8827-d642c229c3f4

3 files changed, 6 insertions, 6 deletions

diff --git a/AUTHORS b/AUTHORS
index be442068c..5cd6c87be 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -18,6 +18,6 @@ Damien Stehlé           Function mpfr_get_ld_2exp
 Philippe Théveny        Main author
 Sylvain Chevillard      Original version of ai.c
 
-The main authors are included in the MPFR mailing-list <mpfr@loria.fr>.
+The main authors are included in the MPFR mailing-list <mpfr@inria.fr>.
 This is the preferred way to contact us. For further information, please
 look at the MPFR web page <http://www.mpfr.org/>.
diff --git a/INSTALL b/INSTALL
index 6ede9a0ad..0f6f1c155 100644
--- a/INSTALL
+++ b/INSTALL
@@ -425,7 +425,7 @@ For instance, under Unix, where paths are separated by a colon:
     setenv LD_LIBRARY_PATH "$LIBRARY_PATH"
 
 If you can't solve your problem, you should contact us via the MPFR
-mailing-list <mpfr@loria.fr>, indicating the machine and operating system
+mailing-list <mpfr@inria.fr>, indicating the machine and operating system
 used (uname -a), the compiler and version used (gcc -v if you use gcc),
 the configure options used if any (including variables such as CC and
 CFLAGS), the version of GMP and MPFR used, and a description of the
diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index 46e7e6812..2b1b74743 100644
--- a/doc/mpfr.texi
+++ b/doc/mpfr.texi
@@ -67,7 +67,7 @@ floating-point arithmetic, version @value{VERSION}.
 @subtitle @value{UPDATED-MONTH}
 
 @author The MPFR team
-@email{mpfr@@loria.fr}
+@email{mpfr@@inria.fr}
 
 @c Include the Distribution inside the titlepage so
 @c that headings are turned off.
@@ -383,7 +383,7 @@ On most platforms, a dynamic library will be produced too.
 
 This will make sure MPFR was built correctly.
 If you get error messages, please report this to the MPFR mailing-list
-@samp{mpfr@@loria.fr}.  (@xref{Reporting Bugs}, for
+@samp{mpfr@@inria.fr}.  (@xref{Reporting Bugs}, for
 information on what to include in useful bug reports.)
 
 @item
@@ -460,7 +460,7 @@ specific to MPFR). Problems are also mentioned in the FAQ
 
 @comment Warning! Do not split "MPFR ... @url{...}" across several lines
 @comment as this needs to be updated with update-version.
-Please report problems to the MPFR mailing-list @samp{mpfr@@loria.fr}.
+Please report problems to the MPFR mailing-list @samp{mpfr@@inria.fr}.
 @xref{Reporting Bugs}.
 Some bug fixes are available on the
 MPFR 3.1.1 web page @url{http://www.mpfr.org/mpfr-3.1.1/}.
@@ -509,7 +509,7 @@ If your bug report is good, we will do our best to help you to get a corrected
 version of the library; if the bug report is poor, we will not do anything
 about it (aside of chiding you to send better bug reports).
 
-Send your bug report to the MPFR mailing-list @samp{mpfr@@loria.fr}.
+Send your bug report to the MPFR mailing-list @samp{mpfr@@inria.fr}.
 
 If you think something in this manual is unclear, or downright incorrect, or if
 the language needs to be improved, please send a note to the same address.