I was more productive than I thought. Complete documentation in texinfo format is now in CVS. The created PDF looks nice. I like texinfo. ;-)
