[Bug gcov-profile/80081] New: gcov-dump needs man page

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80081

            Bug ID: 80081
           Summary: gcov-dump needs man page
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: trivial
          Priority: P3
         Component: gcov-profile
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

https://gcc.gnu.org/ml/gcc-patches/2017-03/msg00925.html :
...
Bonus point if you also write the missing gcov-dump.texi (so we get a
manpage as well).
...