[m-rev.] for review: allow user suffixes for hlds dumps

[Julien Fischer]

On Thu, 12 Apr 2007, Peter Wang wrote:

> On 2007-04-12, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>> @@ -3283,6 +3286,9 @@
>>          "\tEach type of detail is included in the dump if its",
>>          "\tcorresponding letter occurs in the option argument",
>>          "\t(see the Mercury User's Guide for details).",
>> +        "--dump-hlds-file-suffix <suffix>",
>> +        "\tAppend the given suffix to the names of the files created by",
>> +        "\tthe `--dump-hlds' option",
>
> Missing full stop.  The rest looks fine.

Fixed.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------