Merge branches 'pr19311' and 'micro' into minor
authorStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 17 Dec 2014 16:53:32 +0000 (17:53 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 17 Dec 2014 16:53:32 +0000 (17:53 +0100)
* pr19311:
  Expose automake bug#19311
  build: fix race in parallel builds

* micro:
  Automake docs: fix typos and use of British English
  build: fix race in parallel builds

1  2  3 
doc/automake.texi

Simple merge