K 10 svn:author V 7 thierry K 8 svn:date V 27 2007-06-18T19:46:00.000000Z K 7 svn:log V 183 - Upgrade to 1.2.5; - Use DOCSDIR; - Don't extract the doc tarball on the spot to avoid conflict if doxygen is installed. Notified by: Pedro F. Giffuni END