Re: [Spot] Disable doc generation

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