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 0778666f556..c770e22b2a7 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1188,6 +1188,7 @@ ./usr/share/man/cat4/hppa/cpu.0 ./usr/share/man/cat4/hppa/dino.0 ./usr/share/man/cat4/hppa/elroy.0 +./usr/share/man/cat4/hppa/gecko.0 ./usr/share/man/cat4/hppa/gsc.0 ./usr/share/man/cat4/hppa/gsckbc.0 ./usr/share/man/cat4/hppa/gsckbd.0 |