makeinfo: macro @display extra blank line

[Kevin Ryde]

In a recent debian i386 packaged makeinfo 4.0, when @display is used
via an @macro an extra blank line is generated.  For example foo.texi
below processed with

        makeinfo foo.texi

gives something like

   This is a paragraph.


     This is a display.

whereas I might have hoped there'd be just one blank line.

This is perhaps not of great significance, but it seems inconsistent.
For what it's worth using @alias instead doesn't seem to have the
problem.

foo.texi
Description: TeXInfo document