[docs] xmldocs output formats

[Mike Heins]

Quoting Davor Ocelic (docelic at mail.inet.hr):
> 
> I was looking a bit into the future just now, and I tried creating
> .pdf documents out of our .xml files.
> 
> The whole thing looks *very* nice and promising; I provide
> a link to a 'screenshot' which is itself fantastic-looking,
> given that I generated it completely ad-hoc.
> 
> There are few things that stand out, but as I said, this
> is without any customization layer, I directly ran the
> vanilla docbook converter on it; if it looked halfway good,
> I'd still think it was a success.
> 
> http://colt.projectgamma.com/tmp/pdf.preview.png
> 
> Enjoy!

Good -- it will be nice to have a PDF version of our docs for
printing. 

-- 
Mike Heins
Perusion -- Expert Interchange Consulting    http://www.perusion.com/
phone +1.765.647.1295  tollfree 800-949-1889 <mike at perusion.com>

"Laughter is inner jogging." -- Norman Cousins