.gitignore: Exclude /doc