On Sep 9, 2009, at 5:08 PM, Brice Goglin wrote:
> I think the idea is that we build the doc before make dist so that it
> gets included in the tarball and users don't have to install many
> dependencies to rebuild it. So we build it once and configure disables
> it when it's already built.
Ah, I see.
Any objection to me taking a crack at this to make it a little more