Re: accepted accents

    Currently makeinfo warn if @dotless is used with something else than i or
    j but don't do any checking for the other accents. 

Is it really desirable to do this?  Couldn't the list be changed, either
in practice or in the standard, basically arbitrarily?  Do we get
anything out of checking?

The code in makeinfo checks for allowed combinations and outputs ASCII
simulacrums if the real accent isn't supported.  At least, that's how
it's supposed to work.  Are you saying it would be better to disallow
unsupported combinations?  I'm not sure about that.

    In that case the texinfo manual should be changed, as it uses forbidden
    combinations.

That wasn't intentional.  You're saying texinfo.html has invalid HTML?
Which combinations?

    Another note is that 
    @aa{} and @ringaccent{a}
    @AA{} and @ringaccent{A}
    are the same.

Maybe they're supposed to be, but the result of @AA{} and @ringaccent{A}
are not currently the same (in TeX).  Knuth wrote some fancy stuff to
position the accent (I guess):

\def\AA{\leavevmode\setbox0\hbox{!}\dimen@\ht0\advance\dimen@-1ex%
  \rlap{\raise.67\dimen@\hbox{\char'27}}A}

(@aa{} and @ringaccent{a} are the same, though.)

Thanks,
k
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest