Gitignore the doc directory