[mercury-users] Unix man pages for 10.04.2 contain string "Error reading options file"

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Nov 30 17:56:58 AEDT 2010


On Mon, 29 Nov 2010, John A. Murdie wrote:

> I've noticed that after building Mercury 10.04.2, all (?) the Unix man pages 
> contain the string "Error reading options file". From the top of mmc.1:

They shouldn't contain that - something is going wrong in the build 
process.  We will take a look at it and get back to you.

Thanks for bringing it to our attention.

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list