Martin, I've found a solution that makes us both happy: See subject :-) The version has another cool feature 'KDE_DOCS = AUTO' which automatically creates the documentation targets. I think we should switch to this method after the release. Bernd.