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

Julien Fischer juliensf at csse.unimelb.edu.au
Tue May 5 17:25:15 AEST 2009

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.

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