Devel docs build wedged?

http://developer.postgresql.org/docs/postgres/buildlog.html
claims that a docs rebuild was done starting at 23:29 UTC
(two hours ago now) ... but AFAICS the updated docs haven't
been installed.  Is the batch job wedged, or is it just that
svr1 is even more overloaded than usual?

(It may or may not be relevant that the log page doesn't show any
"build finished" time.  It is saying "Build completed successfully"
though ...)

            regards, tom lane