removing all downloaded devdocs files

1 files changed, 0 insertions, 6 deletions

diff --git a/devdocs/gcc~13/gcov-dump.html b/devdocs/gcc~13/gcov-dump.html
deleted file mode 100644
index 6bfa3f21..00000000
--- a/devdocs/gcc~13/gcov-dump.html
+++ /dev/null
@@ -1,6 +0,0 @@
-<div class="chapter-level-extent" id="Gcov-dump"> <div class="nav-panel"> <p> Next: <a href="lto-dump" accesskey="n" rel="next"><code class="command">lto-dump</code>—Tool for dumping LTO object files.</a>, Previous: <a href="gcov-tool" accesskey="p" rel="prev"><code class="command">gcov-tool</code>—an Offline Gcda Profile Processing Tool</a>, Up: <a href="index" accesskey="u" rel="up">Introduction</a> [<a href="index#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="indices" title="Index" rel="index">Index</a>]</p> </div>  <h1 class="chapter" id="gcov-dump---an-Offline-Gcda-and-Gcno-Profile-Dump-Tool"><span>12 gcov-dump—an Offline Gcda and Gcno Profile Dump Tool<a class="copiable-link" href="#gcov-dump---an-Offline-Gcda-and-Gcno-Profile-Dump-Tool"> ¶</a></span></h1> <ul class="mini-toc"> <li><a href="gcov-dump-intro" accesskey="1">Introduction to <code class="command">gcov-dump</code></a></li> <li><a href="invoking-gcov-dump" accesskey="2">Invoking <code class="command">gcov-dump</code></a></li> </ul> </div><div class="_attribution">
-  <p class="_attribution-p">
-    &copy; Free Software Foundation<br>Licensed under the GNU Free Documentation License, Version 1.3.<br>
-    <a href="https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Gcov-dump.html" class="_attribution-link">https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Gcov-dump.html</a>
-  </p>
-</div>