[FYI] Merge branch 'maint' into branch-1.11

[Stefano Lattarini]

commit 693557ce7fcd728fa9e7b5d60713b4caefc39e78
Merge: 9df60a3 3d6197f
Author:     Stefano Lattarini <address@hidden>
AuthorDate: Mon Jan 16 18:43:28 2012 +0100
Commit:     Stefano Lattarini <address@hidden>
CommitDate: Mon Jan 16 18:43:28 2012 +0100

    Merge branch 'maint' into branch-1.11

    * maint:
      recheck: fix interaction with "make -n"
      vala: avoid potential useless remakes (minor bugfix)
      vala: enhance tests
      recheck: behave better with non-GNU make
      check: separate .log -> .html conversion from core testsuite harness
      docs: deprecate .log -> .html conversion by parallel-tests
      tests: list some forgotten test cases in $(TESTS)
      maintcheck: consistency of list of test scripts