K 10 svn:author V 7 wollman K 8 svn:date V 27 1996-01-16T21:29:43.000000Z K 7 svn:log V 85 Update to reflect the reality of the header files. Make more effective use of -mdoc. END