diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1997-07-04 09:25:31 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1997-07-04 09:25:31 +0000 |
| commit | 36cff0fb8de72d2a99201fa81feeb90740ff4441 (patch) | |
| tree | 1903710df8ee6217d0991b8b709ac2a28e7339cd /distrib/sets/lists/man | |
| parent | a4c840e120238ef8415d2dc53bca9e206ffca8b0 (diff) | |
sync
Diffstat (limited to 'distrib/sets/lists/man')
| -rw-r--r-- | distrib/sets/lists/man/mi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index 36e378a2e51..e13f8a635b0 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -15,6 +15,10 @@ ./usr/share/info/cvs.info-6 ./usr/share/info/cvs.info-7 ./usr/share/info/cvs.info-8 +./usr/share/info/gmp.info +./usr/share/info/gmp.info-1 +./usr/share/info/gmp.info-2 +./usr/share/info/gmp.info-3 ./usr/share/info/cvsclient.info ./usr/share/info/dir ./usr/share/info/g77.info @@ -851,3 +855,6 @@ ./usr/share/man/cat1/gencat.0 ./usr/share/man/cat3/pw_file.0 ./usr/share/man/cat2/getpgid.0 +./usr/share/man/cat8/kprop.0 +./usr/share/man/cat8/kpropd.0 +./usr/share/man/cat8/safe_finger.0 |