If I do not have plantum and its extension for sphinks, I could not build documentation at all. I think it is not good idea. It must work in the same way as with Tex. Docs build is ok, but no Tex - no formulas.