aboutsummaryrefslogtreecommitdiff
path: root/doc/ref/general.texi
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2023-10-03 00:58:06 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2023-10-03 00:58:06 +0200
commit6164c1d49f92e30eb2ef484cda78e09dde0f50ee (patch)
tree8003c56545afd653f499a2b30d6e0f557c4e5bd0 /doc/ref/general.texi
parentAdd TODO comments. (diff)
downloadcalp-6164c1d49f92e30eb2ef484cda78e09dde0f50ee.tar.gz
calp-6164c1d49f92e30eb2ef484cda78e09dde0f50ee.tar.xz
Document coverage utilities.
Diffstat (limited to 'doc/ref/general.texi')
-rw-r--r--doc/ref/general.texi3
1 files changed, 1 insertions, 2 deletions
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