With infi I'd say steel it out if you want a working edge, but if you want a razor edge sharpening it out is the only way to go.
Actually this gets into one of my favorite things about INFI which is that you're probably never, I certainly never have, going to chip a damaged edge by steeling it out. Once you've realigned the edge its basically as good as new. Its one of those small miracles of INFI that other steels (ok find your POS soft kitchen knives will do this too, but they're useless for cutting anything anyway) just can't do. If you steel it back you're not removing any material anyway, so a few seconds of trying and if you don't like it drop it on the sharpener.

This is one of my survival tricks though since it much easier when you're in the middle of nowhere to steel the edge of one of your Busses against the spine of another knife rather than trying to find a pebble to sharpen the damn thing on. YMMV Not to come here and stir up anything by contradicting the conventional wisdom, I'd just try the faster no-harm-done technique first.