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 --------------------------------------------------------------
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
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@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 --------------------------------------------------------------
participants (2)
-
Alexandre Duret-Lutz -
Jaime Arias