diff -r 1c7202701bd6 -r 4586a84c0c0b make/project.xml
--- a/make/project.xml	Wed Dec 27 16:07:45 2023 +0100
+++ b/make/project.xml	Wed Dec 27 16:16:11 2023 +0100
@@ -68,6 +68,11 @@
 	<dependency name="pandoc">
 		<test>test -n "$PANDOC"</test>
 	</dependency>
+
+	<dependency name="coverage">
+		<cflags>--coverage</cflags>
+		<ldflags>--coverage</ldflags>
+	</dependency>
 	
 	<target>
 		<option arg="with-docs">
@@ -99,6 +104,9 @@
 			<default value="api"/>
 			<default value="none"/>
 		</option>
+		<feature name="coverage">
+			<dependencies>coverage</dependencies>
+		</feature>
 		<dependencies>c,file-tools</dependencies>
 	</target>
 </project>