[Spot] Disable doc generation

Alexandre Duret-Lutz adl at lrde.epita.fr
Wed Feb 26 13:43:00 CET 2020


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


More information about the Spot mailing list