JadeTeX is a TeX based backend for processing SGML (often DocBook) documents in order to produce high quality PDF files.