When replacing pan gasket, should the gasket be sealed to the pan with a special sealant or just use grease as per the manual?

------------------