diff options
Diffstat (limited to 'doc/ref/general.texi')
| -rw-r--r-- | doc/ref/general.texi | 3 |
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 |