:0 * ! DEST ?? . { DEST=/ } :0 * DEST ?? .+[^/]$ { DEST="$DEST/" } :0 *$ DEST ?? ^$BASE/\/.+ { DEST="$MATCH" } :0 *$ DEST ?? ^\. { } :0 E { DEST=".$DEST" } :0 { LOG="deliver: delivering message $MSGID to $DEST$NL" TRAP="$TRAP; echo \"delivered: \$DESTFILE\" >> '$THISLOGFILE'" :0 $BASE/$DEST }