[Top][All Lists]

[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 23:40:29 -0600

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

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.


reply via email to

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