> I strongly beleive we should start with doc sources in > doctools and then use converters to auto-generate other > (handful of) formats.
I also vote for that. I'm creating an updated list of commands to be documented and will post them soon. Bernd.
