diff --git a/BitKeeper/triggers/post-commit b/BitKeeper/triggers/post-commit index 836b06124bbe96740bfbdc66183a8d041022812a..64cb60936d4ce8b992ef23610666c7fcd02282fb 100755 --- a/BitKeeper/triggers/post-commit +++ b/BitKeeper/triggers/post-commit @@ -4,7 +4,7 @@ TO=dev-public@mysql.com FROM=$USER@mysql.com INTERNALS=internals@lists.mysql.com -DOCS=docs@mysql.com +DOCS=docs-commit@mysql.com LIMIT=10000 if [ "$REAL_EMAIL" = "" ] @@ -58,7 +58,7 @@ EOF ) | head -n $LIMIT | /usr/sbin/sendmail -t #++ -# docs@ mail +# docs-commit@ mail #-- bk changes -v -r+ | grep -q Docs/manual.texi if [ $? == 0 ]