[Spot] Disable doc generation

Dear all, I was wondering if there exists an option to disable the generation of the documentation. Thank you in advance, Best, Jaime -- -------------------------------------------------------------- Jaime Arias https://lipn.univ-paris13.fr/~arias CNRS Research Engineer (LoVe Team) LIPN, CNRS UMR 7030 Institut Galilée - Université Paris 13 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, France tel:[+33] 01 49 40 40 67 --------------------------------------------------------------