diff options
-rw-r--r-- | distrib/sets/lists/man/mi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index 218020d1326..8ceb0fc2457 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1650,10 +1650,13 @@ ./usr/share/man/cat4/vax/de.0 ./usr/share/man/cat4/vax/dhu.0 ./usr/share/man/cat4/vax/dz.0 +./usr/share/man/cat4/vax/gpx.0 ./usr/share/man/cat4/vax/hp.0 ./usr/share/man/cat4/vax/ibus.0 ./usr/share/man/cat4/vax/intro.0 ./usr/share/man/cat4/vax/kmem.0 +./usr/share/man/cat4/vax/lcg.0 +./usr/share/man/cat4/vax/lcspx.0 ./usr/share/man/cat4/vax/le.0 ./usr/share/man/cat4/vax/led.0 ./usr/share/man/cat4/vax/lkkbd.0 |