1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Change bk post-commit trigger to pick up anything under Docs/ instead of just Docs/manual.texi

This commit is contained in:
unknown
2002-05-03 08:57:31 +10:00
parent 2d0bb667d5
commit 7b8e5eb725

View File

@ -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"