Adding doc/ directory to .gitignore