Re: [PATCH][DOC] Document gcov-dump and fix installation of gcov-tool (PR gcov-profile/80081).

2017-03-21 Thread Richard Biener
On Tue, Mar 21, 2017 at 11:55 AM, Martin Liška wrote: > Hello. > > Apart from introduction of gcov-dump.texi file, I also fixed installation of > gcov-tool.1 man page. > Patch can also build PDF documentation. I'm attaching the new man page. Ok. Thanks, Richard. > Thanks, >

[PATCH][DOC] Document gcov-dump and fix installation of gcov-tool (PR gcov-profile/80081).

2017-03-21 Thread Martin Liška
Hello. Apart from introduction of gcov-dump.texi file, I also fixed installation of gcov-tool.1 man page. Patch can also build PDF documentation. I'm attaching the new man page. Thanks, Martin >From f86849be31029555efee8f5f7b8157ae7d468519 Mon Sep 17 00:00:00 2001 From: marxin