In article <200405271817.i4RIHUGp024302@timex.clock.org>,
Erik E. Fair <fair@timex.clock.org> wrote:
>============  8 extra files  ===============
>Files in DESTDIR but missing from flist.
>File is obsolete or flist is out of date ?
>------------------------------------------
>./usr/share/man/cat3/grantpt.0
>./usr/share/man/cat3/posix_openpt.0
>./usr/share/man/cat3/ptsname.0
>./usr/share/man/cat3/unlockpt.0
>./usr/share/man/man3/grantpt.3
>./usr/share/man/man3/posix_openpt.3
>./usr/share/man/man3/ptsname.3
>./usr/share/man/man3/unlockpt.3
>=========  end of 8 extra files  ===========
>


it is in comp/mi...

christos