[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: many questions
|
From: |
Patrice Dumas |
|
Subject: |
Re: many questions |
|
Date: |
Thu, 13 Aug 2009 13:54:10 +0200 |
|
User-agent: |
Mutt/1.5.20 (2009-06-14) |
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