[] Fix option "doc"
   LaTeX documentation is broken (Issue #966)
