add doc/ to .gitignore