The text b7f6a3bf3940, as Debian 3.0 (Woody) shipped it.
convert DocBook Booksto Texinfo documents
docbook2texi-spec.pl(1) on Linux now
