Another gitignore update. Documentation sources are not included in repository now.