[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  :)

Best

Jaime

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

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