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. Samuel
