.gitignore now ignore doc/