Try even more spaces to get coqdoc working
Even more spaces for coqdoc?

I'm not sure what's going wrong