[PATCH] Fix DOS-based system build and fix documentation.

[Jeff Law]

On 07/03/2018 11:23 AM, Martin Liška wrote:
> Hi.
> 
> I'm sending fix for DOS-based system, it's a compilation error that
> I introduced some time ago. Plus I add Jonathan's correction of a
> documentation
> entry.
> 
> Ready for trunk?
> Thanks,
> Martin
> 
> gcc/ChangeLog:
> 
> 2018-07-03  Martin Liska  <mliska@suse.cz>
>             Jonathan Wakely  <jwakely@redhat.com>
> 
> Â Â Â Â * coverage.c: Use correct type.
> Â Â Â Â * doc/invoke.texi: Language correction.
OK
jeff