The wiredtiger-doc-build Jenkins job was run periodically to update wiredtiger documentation to the website. It is currently bounded to a specific machine "tinderbox" and times out from time to time, which prevents the documentation update from being published in a timely fashion.
Use this ticket to migrate the Jenkins job out of "tinderbox", to avoid job timeout and single point of failure.