Commit 3d6197fe647445ecbcfaac6c004449246471d5b6

Stefano Lattarini 2012-01-16T18:35:50

Merge branch 'check-html-deprecate' into maint * check-html-deprecate: recheck: fix interaction with "make -n" recheck: behave better with non-GNU make check: separate .log -> .html conversion from core testsuite harness docs: deprecate .log -> .html conversion by parallel-tests