Документы представляют собой XML и преобразуются в выходные форматы с использованием обработки xslt и таблиц стилей css.
В Интернете есть несколько ресурсов: DocBook xsl выглядит многообещающе. Эта страница формата docbook также.
Кажется, есть пакет Debian, который вам поможет, называется dblatex . Кажется, он конвертируется из docbook => latex => dvi => pdf под капот, так что будьте готовы собрать для него несколько пакетов.
Извините, я не могу помочь дальше; Я не использую ни формат docbook, ни дистрибутив Debian.