>By the way, I'm starting to look into DocBook. Is there already a
>pp2docbook around?
Not yet. I'll post this part back to the list as well, as it might be
of interest for other people, too. I'm not using DocBook yet, but if
someone is interested in implementing such a converter, I'd be glad to
support this.
Greetings
Jochen
