Oh, good, Egon, I was hoping you would give this a try. I was pretty sure this
would happen, as I added a lot of links and wasn't really thinking XML when I
did it.
Let's work on this off-list and get back to the group. I need to talk to you
anyway about what you want to include or not in that
Hi all,
I've had a look at the scripts to convert Bob's interactive webpages to static
DocBook XML for inclusion in the User Guide. This is how we did it in the
past:
1. Use ?xml to get XML
2. use XSLT to convert this to DocBook XML fragments
However,
the current XML output of the JavaScript
