Docbooks são XML e são transformados em formatos de saída usando processamento de xslt e folhas de estilo CSS.
Existem alguns recursos online: DocBook xsl parece promissor. Esta página de formato docbook também.
Parece haver um pacote Debian para ajudá-lo chamado dblatex . Parece converter de docbook = > latex = > dvi = > pdf sob o capô, então esteja preparado para trazer um monte de pacotes para ele.
Desculpe, não posso ajudar mais; Eu não uso nem o formato docbook nem a distribuição Debian.