[mercury-users] [feature request] (slightly) richer XML doc output

[doug.auclair at logicaltypes.com]

Dear all,

I'm looking at the XML doc output of mmc --make foo.doc, and I'd
like to request a small feature addition: would you include
the include_module/1 declarations?  This addition will help me
build documentation for libraries.

Thank you very much.
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
--------------------------------------------------------------------------