Hi Alexandre,

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

Best

Jaime

On Wed, Feb 26, 2020 at 10:13 AM Jaime Arias <arias@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
--------------------------------------------------------------