Public buildings. Instructions to superintendents of construction, superintendents of repairs, and assistant superintendents of repairs of public buildings under control of Treasury Department.