[mercury-users] Please update documentation web page

[doug.auclair at logicaltypes.com]

Dear Julien,

Many thanks!  I also noticed, when I did a local build, that no documentation
was produced ... is there a switch that I'm missing in the build to get these
documents?  If so, what do I need to do?

Again, thank you!

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