[mercury-users] Problem with mmake

Richard A. O'Keefe ok at atlas.otago.ac.nz
Tue Jun 5 15:44:58 AEST 2001

	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

More information about the users mailing list