diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/sets/lists/man/mi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index da7e4bac5e2..23847cb51e9 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1773,6 +1773,7 @@ ./usr/share/man/cat4/sgi ./usr/share/man/cat4/sgi/dsrtc.0 ./usr/share/man/cat4/sgi/gbe.0 +./usr/share/man/cat4/sgi/iec.0 ./usr/share/man/cat4/sgi/intro.0 ./usr/share/man/cat4/sgi/ioc.0 ./usr/share/man/cat4/sgi/iof.0 |