Keep index up-to-date : hook doc update

[mateu]

When a commit is made to a git repo, have a (post) commit hook that will update the documents that are changing in this commit.