On 6/4/07, Viktor Griph <[EMAIL PROTECTED]> wrote:
I've been thinking some of this docbook documentation, and I think that it
would be better to generate the man-page during make dist, or when asked
for.

The generation process takes quite some time, and requires extra tools. It
will however still be the same for everyone that builds it, so there
should be no reason for having all users generating the man page during
compilation.

Is there any reason for not doing this?

None from where I stand.

Cheers,
 Renato

Reply via email to