Re: Documentation does not get installed with cvs sources?!