On Wed, Aug 12, 2009 at 05:06:20PM -0500, Karl Berry wrote: > > @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.
Ok, nothing to change, then... -- Pat
