[mercury-users] Problem with mmake

[Richard A. O'Keefe]

	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?

	Note that you can use the "search" command in info (or grep, for that matter).
	
Doesn't help me find things in the paper copy, which is what I prefer to use.

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