.gitignore now has compiled files from /doc