Merge pull request 'ignore generated docs' (#74) from gitignore into develop