docbook2texi-spec.pl(1) on Linux

The text c7bc7316060c, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.

convert DocBook Booksto Texinfo documents

docbook2texi-spec.pl(1) on Linux now