[mercury-users] How to generate documentation from commented Mercury sources?

[doug.auclair at logicaltypes.com]

Dear Julien, you wrote:

>We also have another system, `--make-xml-doc', that writes out an
>XML representation of the module (including the comments) but as of
>yet there are not any tools that use this XML representation.
>
>The latter has been integrated into mmc --make, so you can use mmc
>--make <target>.doc to build the XML representations of all the (local)
>modules in a program or library.

Very sweet!  Thanks for the information on this feature.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------