That's the general shape of it, and I'm sure others will have plenty to kibitz about regarding these rather skeletal instructions.
My, er, fifty cents is that using a quarter or whatever to set the angle of your knife is a really hokey way to do it, and claiming that placing two quarters under the spine of any random knife is likely to result in an edge angle of 15° per side is highly suspect. The breadth of your blade will impact the ultimate edge angle quite noticeably if you try to use that as your technique.
It's also not a given that the existing edge angle will actually be 15° per side before you start, and that's actually a pretty shallow edge angle for many steels. A garden variety cheap or low quality pocketknife is bound to exhibit rather suboptimal edge retention at that angle.
Here's some different advice instead: Take a Sharpie or similar marker and draw a stripe down the edge of both sides of your knife. Start with the fine side of your stone, not the coarse one, and do very light passes slowly increasing the angle until you find that one swipe rubs off all of the marker ink across the entire sharpened portion of the edge. That angle right there will be what your knife's edge angle already is, and honing that will be a damn sight easier than beating the thing into a new and entirely different edge angle, especially if you're using a cheap stone. Hold the spine of the knife firmly against your thumb with the side of your thumb resting on the stone and keep it there. That will keep your edge angle consistent as you work.




