Re: @-command for # in verbatim protection

[Karl Berry]

    It is a real world case, in the perl document cpp directive lines 
    appear in a @verbatim environment.

How about using @example?

Or, more generally, since the Texinfo is being generated, it seems like
it should be possible to devise something that will make the #line not
be recognized and yet have no effect on the output.  For instance, how
about adding a DEL to the end of it?

    My opinion is that there should be an @-command that can complement

But doesn't that defeat the purpose?  It means you have to parse and
understand the entire document before you can figure out which #-lines
are directives.  I thought #-lines were recognized more or less
lexically, before any tree was finalized.

k