K 10 svn:author V 3 nik K 8 svn:date V 27 1999-08-19T20:36:02.000000Z K 7 svn:log V 52 Honour ${DOCDIR} when installing the documentation. END