diff --git a/doc/project.conf.xml b/doc/project.conf.xml
index dffcafc..07f3a87 100644
--- a/doc/project.conf.xml
+++ b/doc/project.conf.xml
@@ -176,6 +176,10 @@
 					<listitem><para><ulink url="http://www.docbook.org/">DocBook</ulink>:
 							markup language for technical documentation, based on either SGML or XML
 							(see docbook.sh)</para></listitem>
+					<listitem><para><ulink
+						url="https://gcc.gnu.org/onlinedocs/gcc/Gcov.html">GCOV</ulink>: code
+							coverage analysis and profiling tool, part of the GNU Compiler Collection
+							suite (see coverage.sh)</para></listitem>
 					<listitem><para><ulink
 								url="http://www.gnu.org/software/gettext/">Gettext</ulink>:
 							internationalization (i18n) and localization (l10n) framework, notably