"Marc G. Fournier" <scrappy(at)hub(dot)org> writes:
> should there be a step in the 'build dist'
> that builds the docs based on the sgml?
It would be a good idea to rebuild the 7.2 docs from 7.2.1 sources,
as we made several important fixes in the documentation since 7.2
release. I dunno whether it's worth trying to make it fully automatic
right at the moment, though.
regards, tom lane