K 10 svn:author V 3 jkh K 8 svn:date V 27 1999-09-06T03:30:38.000000Z K 7 svn:log V 155 Fix an old reference to the old docs directories. Looks like this one went completely uncaught for months! Caught by: jack END