On 07/11/2016 04:35 PM, Jeff Law wrote:
> Don't you need a corresponding change to invoke.texi?
> 
> OK with that change.
> 
> jeff

Thanks, I've just mentioned the param in invoke.texi, installed as r238252.

Martin