Re: doc compilations: build-time or pre-built?
Steinar H. Gunderson skrev:
On Tue, Jul 04, 2006 at 07:25:16PM -0300, email@example.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.