Dear all,
I was wondering if there exists an option to disable the generation of the documentation.
Thank you in advance,
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
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
-
Alexandre Duret-Lutz -
Jaime Arias