[m-rev.] for review: allow user suffixes for hlds dumps
Peter Wang
wangp at students.csse.unimelb.edu.au
Thu Apr 12 15:54:28 AEST 2007
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.
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list