[BRLTTY] Is there still need for the manual to mention drivers in the kernel?

[Jason White]

On Thu, Mar 27, 2008 at 08:39:02PM -0400, Nicolas Pitre wrote:
 
> One format that I personally like a lot, and which is really nice to 
> work with, is asciidoc:
> 
> 	http://www.methods.co.nz/asciidoc/

This is interesting. As explained on that page, it produces Docbook (among
other formats), which in turn can be converted to PDF for printing.

What tools are people using these days to generate PDF from Docbook XML files?
OpenJade has not been maintained for a long time now.

HTML is easily produced; it's the PDF route that requires more complex tools
to be installed.