Michocott: add coqdoc.sty in .gitignore

2 jobs for raphael@tuto in 4 minutes and 7 seconds (queued for 41 seconds)
latest
Status Job ID Name Coverage
  Build
passed #288621259
coq:8.8

00:04:07

passed #288621260
coq:8.9

00:03:46