Re: @part command and docbook

[Karl Berry]

    2. For all current features of the Texinfo language, the docbook output
       generated by makeinfo should be valid docbook.  I think we all agree
       on this as a principle.

Agreed.

       If we accept this, then for makeinfo --docbook, any text
       following @part and preceding the first @chapter should be
       wrapped in <partintro> tags, and Patrice should fix this.

       I am fine for makeinfo to issue a warning about such text if not
       in docbook mode.

       Karl, do you approve this docbook-specific fix?

I guess I'm ok with both parts of this (the <partintro> and the
non-docbook warning), but ...

    wrapping <partintro> tags in @docbook works

.. that actually seems cleaner to me.

Thanks, and sorry to be such a curmudgeon about it all.

karl