From 6164c1d49f92e30eb2ef484cda78e09dde0f50ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Tue, 3 Oct 2023 00:58:06 +0200 Subject: Document coverage utilities. --- doc/ref/general.texi | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'doc/ref/general.texi') diff --git a/doc/ref/general.texi b/doc/ref/general.texi index 1810a29b..052594c3 100644 --- a/doc/ref/general.texi +++ b/doc/ref/general.texi @@ -21,8 +21,7 @@ of these should be generally useful in any project. @include general/crypto.texi @include general/graph.texi @include general/options.texi - -@c TODO document (hnh util coverage) +@include general/coverage.texi @include general/util-type.texi @include general/lens.texi -- cgit v1.2.3