[docs] xmldocs output formats

[Jon Jensen]

On Sun, 6 Feb 2005, Davor Ocelic wrote:

> I was looking a bit into the future just now, and I tried creating
> .pdf documents out of our .xml files.

That's excellent, Davor. The PDF files we generated from SDF were always 
very popular with some users. Some actually printed them out. :) So I know 
these will be appreciated. Like you, I'll probably use the manpages more 
often than anything else.

Jon