as for the administration of public high school there is the independent school district of clint