K 10 svn:author V 7 wollman K 8 svn:date V 27 1995-01-11T00:00:11.000000Z K 7 svn:log V 83 Changes to make /usr/share/doc work somewhat right. (SMM commits to follow soon.) END