On Mon, 7 Oct 2002, Peter Eisentraut wrote:
> Marc G. Fournier writes:
>
> > Looks good from my end, Peter, I pulled the same docs that I pulled for
> > v7.2.2, which I hope is okay?
>
> Probably not, because the version number needs to be changed and they need
> to be rebuilt for each release.
should I run the same 'gmake docs' then, as I've been doing for the
snapshot(s)?