K 10 svn:author V 5 joerg K 8 svn:date V 27 2004-12-27T21:17:31.000000Z K 7 svn:log V 115 Fix pkg-plist. Obviously, recent versions of doxygen produce a different set of files out of the same source. :-/ END