diff --git a/Packages/Developers_manual/tools.tex b/Packages/Developers_manual/tools.tex
index ef53ec056f1..40f7c4e4bbd 100644
--- a/Packages/Developers_manual/tools.tex
+++ b/Packages/Developers_manual/tools.tex
@@ -276,8 +276,6 @@ gunzip} found in {\tt \$PATH}.
 
 {\tt CGAL\_TESTER} has the default value {\tt `whoami`}.
 
-{\tt MAIL\_SUBMIT\_ADDRESS} has the default value {\tt Sylvain.Pion@sophia.inria.fr}.
-
 {\tt MAIL\_ADDRESS} has no value by default. In case you want to
 set it in {\tt .autocgalrc}, the script will send an additional email to
 everyone mentioned in this variable.