Re: missing '@' quotations for ifnotplaintext example

[Karl Berry]

    ! @@ifinfo
    ! @@ifnotplaintext
      This will be in Info, but not plain text.
    ! @@end ifnotplaintext
    ! @@end ifinfo
...
      command, @code{@@end example} in this case, at the on a line of its own
    Looks like the "at the" should be deleted.

Thanks for both.