.gitignore : allow docs/