[FYI] maint merged into branch-1.11

commit db622310d06f83e21c00d217fdf4b94e62477067 Merge: 81ef91c 7f713c3 Author: Stefano Lattarini AuthorDate: Wed Dec 21 20:35:35 2011 +0100 Commit: Stefano Lattarini CommitDate: Wed Dec 21 20:35:35 2011 +0100 Merge branch 'maint' into branch-1.11 * maint: tests: fix spurio

[FYI] maint merged into branch-1.11

commit 81ef91cff6070cb603ed173990795e6f61e83477 Merge: 8215976 9508ef3 Author: Stefano Lattarini AuthorDate: Sat Dec 10 20:31:40 2011 +0100 Commit: Stefano Lattarini CommitDate: Sat Dec 10 20:31:40 2011 +0100 Merge branch 'maint' into branch-1.11 * maint: release: don'

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

Merge branch 'maint' into branch-1.11 * maint: info: allow user to inhibit creation/update of '${infodir}/dir' dejagnu: allow the package developer to extend site.exp * THANKS: Fix whitespace issue. deps: partially revert commit `v1.11-512-g551' dejagnu: ensure 'srcdir' is define

[FYI] maint merged into branch-1.11

I've merged 'maint' into 'banch-1.11', run the testsuite on Solaris with both "make check" and "make distcheck", and pushed. Regards, Stefano