[mercury-users] How to install extras libs?

[Mike Potanin]

 Hi!
 Same Mmakefile (trailed_update/Mmakefile for example) in mercury-extras
have not 'install' target.
How install it?

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