This is a collection of Texinfo files converted to DocBook XML with makeinfo
--xml. However, these files do not conform to the DocBook XML DTD. That can be
checked e.g. with xmllint like this:

    xmllint --noout --valid ada-mode.texi.xml