The text bfac0cd62c30, as Debian 2.2 (Potato) shipped it.
convert DocBook documents to Texinfo documents
docbook2texi(1) on Linux now
