diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/sets/lists/base/mi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/sets/lists/base/mi b/distrib/sets/lists/base/mi index d773aede5b0..acf0c2f825f 100644 --- a/distrib/sets/lists/base/mi +++ b/distrib/sets/lists/base/mi @@ -831,7 +831,6 @@ ./usr/local/man/cat7 ./usr/local/man/cat8 ./usr/local/man/cat9 -./usr/local/man/cat9/i386 ./usr/local/man/man1 ./usr/local/man/man2 ./usr/local/man/man3 @@ -1408,6 +1407,7 @@ ./usr/share/man/cat8/vax ./usr/share/man/cat8/wgrisc ./usr/share/man/cat9 +./usr/share/man/cat9/i386 ./usr/share/man/makewhatis.sed ./usr/share/man/man1 ./usr/share/man/man2 |