CMS for docbook - which one?

Hi there,

I look for an open source content management system that uses docbook
as source language. I have not found any reasonable yet - do you know
some?

I would like to produce a small web site, with downloadable pdf
versions of the articles.

- Gergely