Re: some @-command constructs not accepted on section lines

[Karl Berry]

Hi Patrice,

    The following are not accepted on sectioning commands lines by
    texinfo.tex, in my opinion they should be, (maybe with the exception 
    of @image?):

    @lbracechar{} 
    @lbracechar{}
    @abbr{CCC, rrr} @abbr{CCC} @abbr{DDD}
    @image{image_file}

All of these should now be handled in texinfo.tex.

    @verb{. @ {} . .}

I'm not sure that handling @verb is at all feasible in section titles,
etc., since it totally messes up normal parsing.  In any case, it's
definitely too much work for not enough return.  It's also been
documented forever that it shouldn't be used "inside" Texinfo commands:

  In particular, it does not work to use @code{@@verb} in
  anything related to cross-referencing, such as section titles or
  figure captions.

Can you change makeinfo to give a warning if it occurs there?

Thanks,
Karl