WHAT: Add the /doc directory to .gitignore