diff options
| -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 153b442f9eb..9f72e0c58ca 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1138,6 +1138,7 @@ ./usr/share/man/cat4/pms.0 ./usr/share/man/cat4/pmsi.0 ./usr/share/man/cat4/pnp.0 +./usr/share/man/cat4/ppp.0 ./usr/share/man/cat4/prandom.0 ./usr/share/man/cat4/pty.0 ./usr/share/man/cat4/puc.0 |