'Repair' in the Bible

and they give it into the hand of the workmen, those appointed over the house of Jehovah, and they give it to the workmen who are working in the house of Jehovah, to repair and to strengthen the house;