Added doc/ back to gitignore