26 Feb
2020
26 Feb
'20
1:43 p.m.
On Wed, Feb 26, 2020 at 10:13 AM Jaime Arias <arias(a)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