> 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?
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}