summaryrefslogtreecommitdiff
path: root/distrib
diff options
context:
space:
mode:
Diffstat (limited to 'distrib')
-rw-r--r--distrib/sets/lists/man/mi1
1 files changed, 0 insertions, 1 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi
index d77058c335d..57d7d7e738f 100644
--- a/distrib/sets/lists/man/mi
+++ b/distrib/sets/lists/man/mi
@@ -2349,7 +2349,6 @@
./usr/share/man/man8/chown.8
./usr/share/man/man8/chroot.8
./usr/share/man/man8/clri.8
-./usr/share/man/man8/compat_linux.8
./usr/share/man/man8/comsat.8
./usr/share/man/man8/config.8
./usr/share/man/man8/crash.8