Ignore generated documentation in git