Commit dca078f468ff696134195e85fed3f48260115651

Tom Tromey 2017-10-01T20:19:53

Merge pull request #316 from angerman/patch-2 Add `configure.host` and `libtool-version` to the `EXTRA_DIST` files