Re: doc compilations: build-time or pre-built?

[Tollef Fog Heen <tfheen@err.no>]

Steinar H. Gunderson skrev:
> On Tue, Jul 04, 2006 at 07:25:16PM -0300, marciotex@gmail.com wrote:
> > 1) compile docs pre-build-time; or
> > 2)  compile docs in build-time
>
> Definitely the latter. We build stuff at build time for a reason,
> architecture-specific or -independent alike.

That depends a bit on the stuff.  A lot of maintainers think running 
auto* to generate configure and Makefile.in at build-time is to be 
avoided.  Another lot of maintainers disagree with them.

- tfheen