I didnt think anyone who served under a year got end of service. She should get her pay for the full notice month and thats it. I am not sure what other entitlements she has (as far as I know legally there should be none) but in all means she should approach her HR department as suggested and if that doesnt work just take her end of service letter to the labour dept.

_____________________________________________________
"Diplomacy is the art of saying 'Nice doggie' until you can find a rock - Will Rogers"