*** texinfo.txi.orig 2002-11-14 12:41:35.000000000 -0600
--- texinfo.txi 2002-12-10 00:19:34.000000000 -0600
***************
*** 11975,11985 ****
specify text which appears only in Info and not in plain text, use
@code{@@ifnotplaintext}, like this:
@example
! @ifinfo
! @ifnotplaintext
This will be in Info, but not plain text.
! @end ifnotplaintext
! @end ifinfo
@end example
The regions delimited by these commands are ordinary Texinfo source as
--- 11975,11985 ----
specify text which appears only in Info and not in plain text, use
@code{@@ifnotplaintext}, like this:
@example
! @@ifinfo
! @@ifnotplaintext
This will be in Info, but not plain text.
! @@end ifnotplaintext
! @@end ifinfo
@end example
The regions delimited by these commands are ordinary Texinfo source as
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
