Update .gitignore to remove doc/