src/distrib/syspkg/sets/man/man-krb4-info
