Re: patch to makeinfo's xml handling

[Karl Berry]

    I tracked it down to two elements missing in docbook_element_list.

Thanks very much.

    I also added a sanity test to quickly detect such bugs in the future.

Even better.

    You could also get rid of the non-__STDC_;

Yeah.  I just haven't gone through the code and excised all the K&R
stuff yet.  Just lack of time.

Thanks again for the patches.

Happy hacking,
karl