How do you replace the head gasket in a 2000 Daewoo Nubira CDX?

here is the link to the nubira service manual

http://chevy.mrmax.dp.ua/EN/GMDE_TIS_START.html