summaryrefslogtreecommitdiff
path: root/distrib/sets
diff options
context:
space:
mode:
Diffstat (limited to 'distrib/sets')
-rw-r--r--distrib/sets/lists/man/mi2
1 files changed, 2 insertions, 0 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi
index e63f42896a3..076fc2f897f 100644
--- a/distrib/sets/lists/man/mi
+++ b/distrib/sets/lists/man/mi
@@ -1612,3 +1612,5 @@
./usr/share/man/cat4/uhid.0
./usr/share/man/cat4/usb.0
./usr/share/man/cat8/wicontrol.0
+./usr/share/man/cat3/isinff.0
+./usr/share/man/cat3/isnanf.0