[m-rev.] diff: build pdf docs for 0.11 release

[Julien Fischer]

On Sat, 20 Aug 2005, Ian MacLarty wrote:

> Do I apply this to the version-0_11-branch branch?
>
It won't be built at the moment if you do as none of the machines
have built the 0.11 branch for over a year.

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