K 10 svn:author V 6 obrien K 8 svn:date V 27 2002-10-17T04:01:24.000000Z K 7 svn:log V 104 Make it more clear that WITH_DOCS controlled the docs produced from SGML. s/WITH_DOCS/WITH_SGML_DOCS/g END