Renamed the docinfo file according to asciidoc naming conventions, and generated the docbook file with asciidoc (rather than asciidoctor)