dumb question

is there a good way to sharpen the tips of a linoleum cutter? i vaguely remember something about some crazy stone and maybe linseed oil in printmaking class so many years ago, but i'm hoping for a method that doesn't require me tracking down a new tool. any suggestions? thanks! :)

Maggie