On Friday 05 August 2005 20:03, Torinthiel wrote: > On Fri, Aug 05, 2005 at 03:52:28AM +0200, Ivo wrote: > > I hadn't noticed yet, but you're right, the whole main/DOCS/HTML > > directory is gone! > > main/DOCS/HTML never was in CVS, it was generated from main/DOCS/xml. Your right. I'm sorry for causing confusion. --Ivo