Tools for the HTML manuals

Ralf Gorholt
Fri, 28 Jul 2000 11:30:27 +0200

Hi Robert,

I had already started the translation of some of the HTML pages into german
before I left for my holidays. Now that I am back I have again some time to
continue. Niklaus Giger has already contacted me in the past and asked to
coordinate our work. So, if a decision is taken as far as the format of the
documentation is concerned, please let me know. I don't know anything about
DocBook or any other tools, so I had the intention just to translate the
HTML pages. Of course, I don't know if this is the best way, but it seemed
to me a good idea, because the structure of the pages could remain the same
for the english and the german version.