> xmlto is just that. docbook-to-something. something can be man, dvi, > pdf, html and some other related flavours. I realize this. I'm just pointing out that there are other, older tools which provide similar functionality.