bug or feature ? with opened @verbatim in @macro

[Dumas Patrice]

Hi,

The following code leads to errors with makeinfo (4.6):
@c ==================
@macro v1{}
@verbatim

@end macro

@v1

@end verbatim
@c ==================


The errors are:

verbatim_in_macro.texi:7: warning: end of file inside verbatim block.
verbatim_in_macro.texi:8: Unmatched address@hidden'.

I don't really understand what is happening. Is the macro expanded in a
context where only 

@verbatim

is seen by makeinfo, and not replaced in the whole document ? My opinion is 
that it shouldn't be so. And if it is a feature, I believe it should be 
documented.

I attached a file containing the above code.

Pat

verbatim_in_macro.texi
Description: TeXInfo document