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?
-- Jeff Squyres jsquy...@cisco.com