Re: Make documentation builds reproducible

Peter Eisentraut <peter@eisentraut.org> writes:
> I think there was general agreement with what this patch is doing, but I 
> guess it's too boring to actually review the patch in detail.  Let's 
> say, if there are no objections, I'll go ahead and commit it.

I re-read the thread and have two thoughts:

* We worried about whether this change would be compatible with a
(presently unreleased) version of docbook that contains the upstreamed
fix.  It seems unlikely that there's a problem, but maybe worth
checking?

* I gather that the point here is to change some generated anchor
tags.  Would any of these tags be things people would be likely
to have bookmarked?

			regards, tom lane