[m-rev.] for review: all --search-all option

[Zoltan Somogyi]

On 19-Sep-2006, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
> 	Add `--search-all <directory>' option which is
>         equivalent to adding <directory> using all of the
>         `--search-directory', `--library-directory',
>         `--init-file-directory' and `--c-include-directory' options.

I think this kind of option is a good idea, but I don't think the name
--search-all conveys its meaning. Something like --search-dir-for-all-files
would be more accurate.

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