missing '@' quotations for ifnotplaintext example

[Fred Fish]

*** 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