Re: Section number increments

[Karl Berry]

      the TeX problem (see below) is fixed by the patch

I am not sure this is the right change.  

    The code in texinfo.tex didn't take into account that numbered and
    unnumbered sectioning could be mixed.

I don't really care if pdf xrefs fail when numbered/unnumbered sections
are mixed, since that's very unusual.  I never saw any real documents
that needed to do that -- Jesper, what does your real document look
like?

However, I don't want pdf xrefs to fail in the usual case, where
numbered/unnumbered aren't mixed, and I think without the section number
resetting, they will.  I'll have to look at it again (next week).

    Does the second @subsubsection have number 1.0.0.2, or again 1.0.0.1 ?

1.0.0.2, definitely.  I'll fix the doc.

Thanks.