Re: [Monetdb-developers] [M5] inclusion of generated manual material in CVS