sync

diff --git a/distrib/sets/lists/comp/mi b/distrib/sets/lists/comp/mi
index e86df18..3b9be65 100644 (file)
--- a/distrib/sets/lists/comp/mi
+++ b/distrib/sets/lists/comp/mi
@@ -3568,6 +3568,8 @@
 ./usr/share/man/cat3/field_userptr.0
 ./usr/share/man/cat3/fileno.0
 ./usr/share/man/cat3/filter.0
+./usr/share/man/cat3/finite.0
+./usr/share/man/cat3/finitef.0
 ./usr/share/man/cat3/firstkey.0
 ./usr/share/man/cat3/flash.0
 ./usr/share/man/cat3/flockfile.0