[mercury-users] Please update documentation web page

[Julien Fischer]

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:

 	texi2dvi
 	pdftex
 	dvips
 	makeinfo
 	info
 	install-info

Most of the above are part of the GNU texinfo system, see
<http://www.gnu.org/software/texinfo>.

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

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