K 10 svn:author V 6 obrien K 8 svn:date V 27 1997-11-16T02:14:26.000000Z K 7 svn:log V 41 Don't install docs if NOPORTDOCS is set. END