[mercury-users] Please update documentation web page

Julien Fischer juliensf at csse.unimelb.edu.au
Sat Feb 3 16:45:25 AEDT 2007

On Fri, 2 Feb 2007 doug.auclair at logicaltypes.com wrote:

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

There's no switch - it should build if the tools needed to build it can be
found.  These are:


Most of the above are part of the GNU texinfo system, see

Perl and (the GNU version) of sed are required somewhere along the line
as well.

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

More information about the users mailing list