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

["Steinar H. Gunderson" <sgunderson@bigfoot.com>]

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.

/* Steinar */
-- 
Homepage: http://www.sesse.net/