Automatic documentation re-generation on git commits (like this one).