Peter Eisentraut <peter_e@gmx.net> writes:
> The reason this is all so complicated in the first place is that in the
> past we wanted to defend ourselves against broken documentation sources
> when building snapshots. As of now this doesn't work anymore, so we
> might as well automate the whole process including the documentation
> build and be done with these games. Comments?
Making the man pages is still non-automatable, no? Folding the HTML
document build into "make dist" is probably reasonable, but I don't
see that it will make for any big gain in the reliability of the
process...
regards, tom lane