Brice Goglin, le Wed 09 Sep 2009 23:08:00 +0200, a écrit :
> 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.
That's it, yes.