[Spot] Disable doc generation

Jaime Arias arias at lipn.univ-paris13.fr
Thu Feb 13 12:17:48 CET 2020


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
--------------------------------------------------------------



More information about the Spot mailing list