K 10 svn:author V 6 brooks K 8 svn:date V 27 2010-12-09T22:54:18.000000Z K 7 svn:log V 104 Hopefully really fix the NOPORTDOCS case by using the --disable-docs option I just found for configure. END