diff options
authorKaren Arutyunov <karen@codesynthesis.com>2020-11-24 15:40:00 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2020-11-24 15:40:00 +0300
commit66e570401e677ddedd7c4ea17ea62ca66fe14579 (patch)
parentd153e1530e875d92750d538d2df75b659433444b (diff)
Update manual with build-email package manifest value semantics changeHEADmaster
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index 4d4ffec..a428d27 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -1002,10 +1002,13 @@ package are maintained separately.
The build notification email address. It is used to send build result
-notifications by automated build bots. If none of the \c{build-*email} values
-are specified, then it is assumed to be the same as \c{package-email}. If it
-is specified but empty, then no build result notifications for this package
-are sent by email.
+notifications by automated build bots. If unspecified, then no build result
+notifications for this package are sent by email.
+\N|For backwards compatibility with existing packages, if it is specified but
+empty, then this is the same as unspecified.