How do you properly sharpen a pocket knife?

Using one of those rock things.
8 answers 8