[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: |
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.