> @deffn
    > @end deffn
    >
    > Or maybe
    > @deffn Command
    > @end deffn

    My understanding of the manual is that this is bad usage.  So in my
    opinion, makeinfo should warn here.

I agree.


Reply via email to