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]