# HG changeset patch
# User wenzelm
# Date 1573120557 -3600
# Node ID d61fd7aade693d8760ab813c33b2059bd64de9d5
# Parent  22fcdadc404ddd1f131ab715050ffe5463920b95
clarified directory;

diff -r 22fcdadc404d -r d61fd7aade69 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:54:17 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:55:57 2019 +0100
@@ -395,7 +395,7 @@
     Linux.check_system_root()
 
     val config = get_config(name)
-    val default_config_file = config.home + default_mailers
+    val default_config_file = config.root + default_mailers
 
     val mail_config = config_file getOrElse default_config_file
 
@@ -444,7 +444,7 @@
 
   Options are:
     -T USER      send test mail to Phabricator user
-    -f FILE      config file (default: """ + default_mailers + """ within installation home)
+    -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