From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/gcc~13/invoking-gcov-dump.html | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 devdocs/gcc~13/invoking-gcov-dump.html (limited to 'devdocs/gcc~13/invoking-gcov-dump.html') diff --git a/devdocs/gcc~13/invoking-gcov-dump.html b/devdocs/gcc~13/invoking-gcov-dump.html deleted file mode 100644 index c1b87204..00000000 --- a/devdocs/gcc~13/invoking-gcov-dump.html +++ /dev/null @@ -1,12 +0,0 @@ -

12.2 Invoking gcov-dump

Usage: gcov-dump [OPTION] ... gcovfiles
-

gcov-dump accepts the following options:

-h
--help
-

Display help about using gcov-dump (on the standard output), and exit without doing any further processing.

-l
--long
-

Dump content of records.

-p
--positions
-

Dump positions of records.

-r
--raw
-

Print content records in raw format.

-s
--stable
-

Print content in stable format usable for comparison.

-v
--version

Display the gcov-dump version number (on the standard output), and exit without doing any further processing.

-

- © Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
- https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Invoking-Gcov-dump.html -

-
-- cgit v1.2.3