Remove old tex docs