[mercury-users] Problem with mmake

[Fergus Henderson]

On 05-Jun-2001, Richard A. O'Keefe <ok at atlas.otago.ac.nz> wrote:
> 	On 01-Jun-2001, Richard A. O'Keefe <ok at atlas.otago.ac.nz> wrote:
> 	> (Is there something about TeXInfo that prevents
> 	> the User's Guide having an index?)
> 	
> 	Only the RSI-inducing repetition and mind-numbing tedium required to
>       add one.
> 
> Logical markup marks that so much easier.  Too bad TeXInfo doesn't use it.
> Any plans to switch to DocBook?

Not at present.

But I've added an index to the Mercury User's Guide;
it will be committed into our CVS repository sometime soon.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------