K 10 svn:author V 6 marcus K 8 svn:date V 27 2008-01-14T19:19:18.000000Z K 7 svn:log V 79 Do not install any developer docs as we explicitly say we do not want gtk-doc. END