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 > standards-friendly? >
Go ahead, we'll be able to revert anyway :) Brice
