Remove doc/.gitignore