[m-rev.] For review: make mmc --help generate output that can be turned into a more-correct man page.

[Julien Fischer]

On Tue, 5 May 2009, Paul Bone wrote:

> Estimated hours taken: 0.1
>
> Make mmc --help generate output that can be turned into a more correct man
> page.  Namely the NAME section of the man page was not being generated which is
> used by apropos to search for man pages.  This fixes a lintian warning when
> generating a debian package.
>
> compiler/handle_options.m:
>    As above
>

That's fine.  You may want to check that the same happens for other
tools as well, e.g. mprof.

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