Re: defining environments

[Werner LEMBERG]

> I think that a new @macro like @-command is not a good thing to
> introduce, especially when there is dissatisfaction about the
> current @macro.

OK.

> More to the point, I can't see why it should be needed here
> since @macro should just work,

Indeed.  I withdraw my suggestion :-)

> and in the mean time the workaround to use makeinfo to expand the
> @macro seems fine to me.

Yep.


    Werner