The current version of pack assertions does not contain a file prolog/foreign/pldoc/man
assertions
prolog/foreign/pldoc/man