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: Eli Zaretskii
Subject: Re: Texindex: Leave out \initial{x} if there's only one
Date: Mon, 8 Apr 2002 09:22:08 +0300 (IDT)

On 7 Apr 2002, Tom Tromey wrote:

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

I'm not sure I understand: are you suggesting that "@c man" be treated 
specially?  If so, I'm not sure it's a good idea: comments should be left 
alone, IMHO.  For example, some document could have a comment like this 
that has nothing to do with man pages.

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



reply via email to

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