Re: are macros defined commands

[Patrice Dumas]

On Fri, Sep 14, 2012 at 06:22:48PM +0000, Karl Berry wrote:
> 
> My gut reaction is to say yes -- I can envision people defining macros
> as a fallback for new Texinfo commands, precisely so the document can
> use the command without worrying.  And thus a further conditional might
> as well consider it defined.

Indeed, it makes sense.  And I also propose to consider @alias,
@definfoencose'd and @xxxxindex (@defindex xxxx) defined too.

Ok?

-- 
Pat