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

#++

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