diff options
Diffstat (limited to 'distrib/sets/lists/man/mi')
| -rw-r--r-- | distrib/sets/lists/man/mi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index 2b8cd4517e3..94b6692c3df 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -129,6 +129,7 @@ ./usr/share/info/info-stnd.info-1 ./usr/share/info/info-stnd.info-2 ./usr/share/info/info.info +./usr/share/info/kth-krb.info ./usr/share/info/mmalloc.info ./usr/share/info/readline.info ./usr/share/info/stabs.info @@ -1486,7 +1487,6 @@ ./usr/share/man/cat8/i386/bad144.0 ./usr/share/man/cat8/i386/biosboot.0 ./usr/share/man/cat8/i386/boot.0 -./usr/share/man/cat8/i386/boot.com.0 ./usr/share/man/cat8/i386/boot.conf.0 ./usr/share/man/cat8/i386/fdisk.0 ./usr/share/man/cat8/i386/installboot.0 |