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

[vries at gcc dot gnu.org]

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

--- Comment #1 from Tom de Vries <vries at gcc dot gnu.org> ---
Options needing documentation:
...
$ gcov-dump --help
Usage: gcov-dump [OPTION] ... gcovfiles
Print coverage file contents
  -h, --help           Print this help
  -v, --version        Print version number
  -l, --long           Dump record contents too
  -p, --positions      Dump record positions
  -w, --working-sets   Dump working set computed from summary

For bug reporting instructions, please see:
<https://gcc.gnu.org/bugs/>.
...