Run both documentation generators after master updates and commit their outputs only when the generated files change.