>>>>> "Eli" == Eli Zaretskii <[EMAIL PROTECTED]> 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 `@c man' into `@man'. Eli> It's IMHO better to introduce a new directive for this purpose. Eli> Something like @usage..@end 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. Tom _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
