The current .gitignore file contains a "/doc" entry, while the directory is named "/docs".
Moreover, I think that "/examples" should be gitignored as well.