Evaluating a test with automatic inclusion of basis

[hcoop/domtool2.git] / lib / alias.dtl

diff --git a/lib/alias.dtl b/lib/alias.dtl
index 0ced362..c591aaf 100644 (file)
--- a/lib/alias.dtl
+++ b/lib/alias.dtl
@@ -29,7 +29,7 @@ extern val dropTarget : aliasTarget;
 {{Silently delete all mail to the associated source.}}
 
 extern val aliasPrim : aliasSource -> aliasTarget -> [Domain];
 {{Silently delete all mail to the associated source.}}
 
 extern val aliasPrim : aliasSource -> aliasTarget -> [Domain];

-{{Request redirection of all mail from the source to the target.}
+{{Request redirection of all mail from the source to the target.}}

 
 val alias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
 {{Redirect mail for the user at the current domain to the e-mail address.}}
 
 val alias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
 {{Redirect mail for the user at the current domain to the e-mail address.}}


@@ -41,7 +41,7 @@ val aliasDrop = \user -> aliasPrim (userSource user) dropTarget;
 
 val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
 {{When a message to the current domain doesn't match any other alias, and it
 
 val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
 {{When a message to the current domain doesn't match any other alias, and it

-  doesn't match any systemwide username, send it to this e-mail address
+  doesn't match any systemwide username, send it to this e-mail address.}}

 val catchAllAlias = \email -> aliasPrim catchAllSource (addressTarget email);
 {{When a message to the current domain doesn't match any other alias, send it
   to this e-mail address, even if it matches a systemwide username.}}
 val catchAllAlias = \email -> aliasPrim catchAllSource (addressTarget email);
 {{When a message to the current domain doesn't match any other alias, send it
   to this e-mail address, even if it matches a systemwide username.}}