Add doc/ to .gitignore

[ci skip]