Merge branch 'micro' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Tue, 28 May 2013 19:04:39 +0000 (21:04 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Tue, 28 May 2013 19:04:39 +0000 (21:04 +0200)
commit7c53e4c3d5120abd49e6ffd735b640af5353dd41
treecc1a2678fc10bd894546fc68bf44c1a7905756c1
parentd987aa36c10af2c7cdce2e7bb84e64b5b84d018f
parent87e49f4f040c8ab93233a31b377fe5a541e3b6ff
Merge branch 'micro' into maint

* micro:
  NEWS: report recent documentation fix about AM_PROG_MKDIR_P
  NEWS: Automake 2.0 will assume "rm -f" without args work
  NEWS: fix a couple of typos in older entries
NEWS