[mercury-users] Generating documentation from .m files

[Pieter Laeremans]

On Wed, 2002-11-27 at 08:15, Fergus Henderson wrote:
> On 26-Nov-2002, Pieter Laeremans <pieter.laeremans at student.kuleuven.ac.be> wrote:
> > I would like to know wheter there is a tool to generate (I suppose so)
> > the GNU info and html documentation from mercury code?
> 
> The documentation in the Mercury Library Reference Manual is generated
> by the Mmakefile in the `doc' directory of the Mercury source distribution.
> In particular, a very simple fragment of shell script converts the library
> source files into TexInfo, from which they can then be converted into
> GNU info or HTML using standard tools.
> 
> Basically it's along the lines of this:
> 

Thanks, that was exactly  what I was looking for !


greetings,

Pieter

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------