Texas is gradually going out of the oil business.