Update coverage.html

docs/coverage.html

@@ -125,6 +125,7 @@
             iconContainer.classList.toggle('active');
         }
     </script>
+
 <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
 
 <div class="separator-line1"></div>
@@ -156,7 +157,7 @@ <h2 class="sectionedit2" id="motivations">Motivations</h2>
 
 <p>
 In computer science, code coverage is a measure used to describe the degree
-    to which the source code of a program is tested by a particular test suite. A program with high code coverage has been more thoroughly tested and has a lower chance of containing software bugs than a program with low code coverage. Many different metrics can be used to calculate code coverage; some of the most basic are the percent of program subroutines and the percent of program statements called during execution of the test suite.[ <span class="curid"><a href="/doku.php?id=developers:coverage#cov" class="wikilink1" title="developers:coverage" data-wiki-id="developers:coverage" style="color: #F18F34;">1</a></span> ]
+    to which the source code of a program is tested by a particular test suite. A program with high code coverage has been more thoroughly tested and has a lower chance of containing software bugs than a program with low code coverage. Many different metrics can be used to calculate code coverage; some of the most basic are the percent of program subroutines and the percent of program statements called during execution of the test suite.[ <span class="curid"><a href="http://en.wikipedia.org/wiki/Code_coverage" class="wikilink1" title="developers:coverage" data-wiki-id="developers:coverage" style="color: #F18F34;">1</a></span> ]
 </p>
 
 <p>
@@ -174,12 +175,12 @@ <h2 class="sectionedit3" id="how_does_it_work">How does it work?</h2>
 
 <p>
 A .gcno file is generated when the source file is compiled with the GCC <em>
-    -ftest-coverage</em> option. It contains information to reconstruct the basic block graphs and assign source line numbers to blocks.[ <span class="curid"><a href="/doku.php?id=developers:coverage#cov" class="wikilink1" title="developers:coverage" data-wiki-id="developers:coverage" style="color: #F18F34;">2</a></span> ]
+    -ftest-coverage</em> option. It contains information to reconstruct the basic block graphs and assign source line numbers to blocks.[ <span class="curid"><a href="http://gcc.gnu.org/onlinedocs/gcc-4.2.4/gcc/index.html#toc_Gcov" class="wikilink1" title="developers:coverage" data-wiki-id="developers:coverage" style="color: #F18F34;">2</a></span> ]
 </p>
 
 <p>
 A .gcda file is generated when a program containing object files built with
-    the GCC <em>-fprofile-arcs</em> option is executed. A separate .gcda file is created for each object file compiled with this option. It contains arc transition counts, and some summary information[ <span class="curid"><a href="/doku.php?id=developers:coverage#cov" class="wikilink1" title="developers:coverage" data-wiki-id="developers:coverage" style="color: #F18F34;">2</a></span> ].
+    the GCC <em>-fprofile-arcs</em> option is executed. A separate .gcda file is created for each object file compiled with this option. It contains arc transition counts, and some summary information[ <span class="curid"><a href="http://gcc.gnu.org/onlinedocs/gcc-4.2.4/gcc/index.html#toc_Gcov" class="wikilink1" title="developers:coverage" data-wiki-id="developers:coverage" style="color: #F18F34;">2</a></span> ].
 </p>
 
 <p>
@@ -223,4 +224,4 @@ <h2 class="sectionedit4" id="how_to_trigger_a_coverage_report">How to trigger a
                     <!-- wikipage stop -->
                                     </div>
 </body>
-</html>
+</html>