[m-rev.] for post-commit review: configure.in improvements

[Zoltan Somogyi]

On 07-Dec-2010, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> The new option should be listed in .INSTALL.in as well.

Done.

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