Hi Victor, > 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.
That is a good idea. (Why didn't I think of it?) The HTML documentation should be generated in the same way too. Mind you, the latter will add >2Mb (uncompressed) to the distribution. I'll make the changes in a while - I'm a bit busy at the moment. Scott. :)
