K 10 svn:author V 4 jmmv K 8 svn:date V 27 2014-06-03T22:34:27.201840Z K 7 svn:log V 223 Merge (unused) documentation of WITHOUT_TESTS into WITH_TESTS. The description of WITH/WITHOUT tweaks should only document the non-default option. TESTS still defaults to no, so the option to be documented is WITH_TESTS. END