diff options
Diffstat (limited to 'BitKeeper')
| -rwxr-xr-x | BitKeeper/triggers/post-commit | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/BitKeeper/triggers/post-commit b/BitKeeper/triggers/post-commit index 275c278f29d..df454bc9653 100755 --- a/BitKeeper/triggers/post-commit +++ b/BitKeeper/triggers/post-commit @@ -59,8 +59,9 @@ EOF #++ # docs-commit@ mail +# Picks up anything under the Docs subdirectory (relevant for docs team). #-- - bk changes -v -r+ | grep -q Docs/manual.texi + bk changes -v -r+ | grep -q " Docs/" if [ $? -eq 0 ] then echo "Notifying docs list at $DOCS" |