Câu trả lời:
Tài liệu là XML và được chuyển đổi sang các định dạng đầu ra bằng cách sử dụng xslt xử lý và biểu định kiểu css.
Có một số tài nguyên trực tuyến: DocBook xsl có vẻ đầy hứa hẹn. Đây trang dạng docbook cũng có.
Dường như có một gói Debian để giúp bạn gọi là dblatex . Nó dường như chuyển đổi từ docbook => latex => dvi => pdf dưới mui xe, vì vậy hãy chuẩn bị để kéo vào một loạt các gói cho nó.
Xin lỗi tôi không thể giúp thêm; Tôi không sử dụng định dạng docbook hay phân phối Debian.
dblatex
là một điểm khởi đầu tốt, ít nhất bây giờ tôi có thể tạo ra một số đầu ra.