Commit 393cf16d3641964d092cac219852599ab148217f

Bruno Haible 2017-07-15T21:53:52

Get rid of autom4te.cache directories, as far as possible.