bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Texindex: Leave out \initial{x} if there's only one


From: Tom Tromey
Subject: Re: Texindex: Leave out \initial{x} if there's only one
Date: 07 Apr 2002 16:20:07 -0600

>>>>> "Karl" == Karl Berry <address@hidden> writes:

Karl> Tom Tromey just suggested the same thing.  I haven't had a
Karl> chance to look at what you've done yet.  It seems impossible to
Karl> me that the same text can be used for man pages and real
Karl> manuals?  One or the other must surely suffer.

I think typically the address@hidden man' stuff is used only in the `invoking'
node.  When used this way neither manual really suffers, as far as I
can tell.

Tom



reply via email to

[Prev in Thread] Current Thread [Next in Thread]