Sharpening mulching lawnmower blades

[marinifarms]

We have just purchased an older KGro 43″ riding lawnmower and need to sharpen the blades. Are there instructions on how it is done correctly using a bench grinder. They are mulching blades, so there is a lump that needs to be sharpened.