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

[John A. Murdie]

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:

.de Vb
.nf
.ne \$1
..
.de Ve

.fi
..
.TH mmc 1 "Fri Nov 19 15:36:47 GMT 2010" "" "Mercury Programmer's Manual"
.AT 3
.Vb 2
Error reading options file
.SH " 
`/usr/local/pkg/mercury-10.04.2-i686-1/lib/mercury/conf/Mercury.config'."

.SH "NAME  "
mmc -- Melbourne Mercury Compiler, version 10.04.2, configured for 
i686-pc-linux-gnu

I can't find mention of this in the mailing list archive.

I'd prefer that the string wasn't there. I could edit it out from all 
the man page files, of course, but how can I (or you) prevent the string 
from being there next time I build? The build appeared to go well, but I 
didn't save a log file.

John A. Murdie
Department of Computer Science
University of York
UK
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------