Documentation does not get installed with cvs sources?!