The current version of pack auc does not contain a file prolog/examples/pldoc/man
auc
prolog/examples/pldoc/man