mercury-14.01.1nb7: unregistering info file /usr/pkg/info/mercury.info
mercury-14.01.1nb7: unregistering info file /usr/pkg/info/mercury_faq.info
mercury-14.01.1nb7: unregistering info file /usr/pkg/info/mercury_library.info
mercury-14.01.1nb7: unregistering info file /usr/pkg/info/mercury_ref.info
mercury-14.01.1nb7: unregistering info file /usr/pkg/info/mercury_trans_guide.info
mercury-14.01.1nb7: unregistering info file /usr/pkg/info/mercury_user_guide.info