generating the manpage on make dist?

[Viktor Griph]

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?

/Viktor