Re: Appendix numbering

[Karl Berry]

Hello Fritz,

Back in November, you wrote:

    Also, using @appendix and @appendixsection will correctly build and show
    document structure (also table of contents is fine) but the header line
    in the appendix always reads "Appendix A:", without the respective
    appendix subsection following (as one would expect from the behaviour of
    chapters with their subsections appearing in the header).

I don't see section names ever appearing in the header, either for
regular sections or for appendix sections.  As I recall, I removed the
@thissection command from Texinfo because it wasn't implemented
correctly and was difficult to fix (and of doubtful utility).

Maybe I'm misunderstanding ... if you can send me a sample document
exhibiting the problem, I'll check further.

Thanks,
Karl