# HG changeset patch
# User wenzelm
# Date 1573122543 -3600
# Node ID 41b6ca223500f42e55fff0d0d4fca6134ab14a84
# Parent  8ac137c65776da12d73ffc825a428def19ed965e
tuned messages;

diff -r 8ac137c65776 -r 41b6ca223500 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:20:49 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:29:03 2019 +0100
@@ -421,8 +421,13 @@
       }
       if (File.read(default_config_file) == mailers_template) {
         progress.echo(
-          "Please invoke the tool again, after providing details in:\n  " +
-          default_config_file.implode)
+"""
+Please invoke the tool again, after providing details in
+  """ + default_config_file.implode + """
+
+See also section "Mailer: SMTP" in
+  https://secure.phabricator.com/book/phabricator/article/configuring_outbound_email
+""")
       }
       else setup_mail
     }
@@ -449,9 +454,7 @@
     -f FILE      config file (default: """ + default_mailers + """ within installation root)
     -n NAME      Phabricator installation name (default: """ + quote(default_name) + """)
 
-  Provide mail configuration for existing Phabricator installation. See also
-  https://secure.phabricator.com/book/phabricator/article/configuring_outbound_email
-  (notably section "Mailer: SMTP").
+  Provide mail configuration for existing Phabricator installation.
 """,
           "T:" -> (arg => test_user = arg),
           "f:" -> (arg => config_file = Some(Path.explode(arg))),