Jeff Squyres wrote:
> 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
Go ahead, we'll be able to revert anyway :)