On 7 Apr 2002, Tom Tromey wrote:
> >>>>> "Karl" == Karl Berry <[EMAIL PROTECTED]> 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 `@c 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 @usage..@end usage that will mark the material to be output into a man page. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
