[gcc/devel/sphinx] Update manual directives in gcov-dump.

[gcc/devel/sphinx] Update manual directives in gcov-dump.

[Martin Liska]

https://gcc.gnu.org/g:f44002720aff865b0c5c8c56c0c1d77ac845acb7

commit f44002720aff865b0c5c8c56c0c1d77ac845acb7
Author: Martin Liska <mliska@suse.cz>
Date:   Mon May 24 14:24:05 2021 +0200

    Update manual directives in gcov-dump.

Diff:
---
 gcc/doc/gcov-dump.texi | 56 ++++++++++++--------------------------------------
 1 file changed, 13 insertions(+), 43 deletions(-)

diff --git a/gcc/doc/gcov-dump.texi b/gcc/doc/gcov-dump.texi
index 3e115fe7799..6b5353cea81 100644
--- a/gcc/doc/gcov-dump.texi
+++ b/gcc/doc/gcov-dump.texi
@@ -2,32 +2,6 @@
 @c This is part of the GCC manual.
 @c For copying conditions, see the file gcc.texi.
 
-@ignore
-@c man begin COPYRIGHT
-Copyright @copyright{} 2017-2021 Free Software Foundation, Inc.
-
-Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.3 or
-any later version published by the Free Software Foundation; with the
-Invariant Sections being ``GNU General Public License'' and ``Funding
-Free Software'', the Front-Cover texts being (a) (see below), and with
-the Back-Cover Texts being (b) (see below).  A copy of the license is
-included in the gfdl(7) man page.
-
-(a) The FSF's Front-Cover Text is:
-
-     A GNU Manual
-
-(b) The FSF's Back-Cover Text is:
-
-     You have freedom to copy and modify this GNU Manual, like GNU
-     software.  Copies published by the Free Software Foundation raise
-     funds for GNU development.
-@c man end
-@c Set file name and title for the man page.
-@setfilename gcov-dump
-@settitle offline gcda and gcno profile dump tool
-@end ignore
 
 @node Gcov-dump
 @chapter @command{gcov-dump}---an Offline Gcda and Gcno Profile Dump Tool
@@ -39,13 +13,12 @@ included in the gfdl(7) man page.
 
 @node Gcov-dump Intro
 @section Introduction to @command{gcov-dump}
-@c man begin DESCRIPTION
+
+@subsubheading Description
 
 @command{gcov-dump} is a tool you can use in conjunction with GCC to
 dump content of gcda and gcno profile files offline.
 
-@c man end
-
 @node Invoking Gcov-dump
 @section Invoking @command{gcov-dump}
 
@@ -55,18 +28,17 @@ Usage: gcov-dump @r{[}@var{OPTION}@r{]} ... @var{gcovfiles}
 
 @command{gcov-dump} accepts the following options:
 
-@ignore
-@c man begin SYNOPSIS
-gcov-dump [@option{-v}|@option{--version}]
-     [@option{-h}|@option{--help}]
-     [@option{-l}|@option{--long}]
-     [@option{-p}|@option{--positions}]
-     [@option{-r}|@option{--raw}]
-     @var{gcovfiles}
-@c man end
-@end ignore
-
-@c man begin OPTIONS
+@subsubheading Synopsis
+
+gcov-dump [@emph{-v}|@emph{--version}]
+     [@emph{-h}|@emph{--help}]
+     [@emph{-l}|@emph{--long}]
+     [@emph{-p}|@emph{--positions}]
+     [@emph{-r}|@emph{--raw}]
+     [@emph{gcovfiles}]
+
+@subsubheading Options
+
 @table @gcctabopt
 @item -h
 @itemx --help
@@ -90,5 +62,3 @@ Print content records in raw format.
 Display the @command{gcov-dump} version number (on the standard output),
 and exit without doing any further processing.
 @end table
-
-@c man end