merge

000d2bbb · monty@hundin.mysql.fi · 30209c1d · 13f16b44 · 000d2bbb · 000d2bbb
Commit 000d2bbb authored Nov 07, 2001 by monty@hundin.mysql.fi
Hide whitespace changes
Inline Side-by-side

Showing with 721 additions and 697 deletions

BitKeeper/triggers/post-commit BitKeeper/triggers/post-commit +2 -2

Docs/manual.texi Docs/manual.texi +719 -695

No files found.
--- 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 ]

--- a/Docs/manual.texi
+++ b/Docs/manual.texi