[chungy]

You can use source-highlight to go to docbook or latex(color), and from either of those, can directly go to PDF.