[Spot] Disable doc generation

Jaime Arias arias at lipn.univ-paris13.fr
Thu Feb 27 10:36:56 CET 2020

Hi Alexandre,

Thank you for your reply. It was very useful  :)



On 26/02/2020 13:43, Alexandre Duret-Lutz wrote:
> On Wed, Feb 26, 2020 at 10:13 AM Jaime Arias <arias at lipn.univ-paris13.fr> wrote:
>> Dear all,
>> I was wondering if there exists an option to disable the generation of
>> the documentation.
> Hi Jaime,
> If you compile from the tarball, the doc (= web pages + tl.pdf) is
> already built and should not be rebuilt. The Doxygen documentation
> should only be built when enabled explicitly (--enable-doxygen). If
> that is not the case for you, please send a detailed bug report.
> If you compile from git for some reason, you probably want to read
> HACKING. It has a section about avoiding org-mode runs.
> Alexandre

Jaime Arias               https://lipn.univ-paris13.fr/~arias
CNRS Research Engineer (LoVe Team)
Institut Galilée - Université Paris 13
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, France
tel:[+33] 01 49 40 40 67

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lrde.epita.fr/pipermail/spot/attachments/20200227/4cca85f2/attachment.htm>

More information about the Spot mailing list