updated help page for function 'def.grav'