K 10 svn:author V 5 lwhsu K 8 svn:date V 27 2009-05-22T19:12:08.000000Z K 7 svn:log V 67 - Set IGNORE while choosing WITH_DOCS and also defining NOPORTDOCS END