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

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <address@hidden> writes:

Eli> I'm not sure I understand: are you suggesting that "@c man" be
Eli> treated specially?

No.  I'm suggesting that the already existing texi->man comments be
turned into real texinfo commands.  I.e., change address@hidden man' into 
address@hidden'.

Eli> It's IMHO better to introduce a new directive for this purpose.  
Eli> Something like @address@hidden usage that will mark the material to be 
Eli> output into a man page.

Yes.  I think the commands should probably be equivalent to what is
already in use, since that is known to work.

Tom