Improve Jenkins docs build