Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
authorDavid Levine <levinedl@acm.org>
Tue, 8 May 2012 15:16:17 +0000 (10:16 -0500)
committerDavid Levine <levinedl@acm.org>
Tue, 8 May 2012 15:16:17 +0000 (10:16 -0500)
commit6a83547f2f35bc049dbcb552d6f3bc9979980817
tree2f7435cff916a531697ffb5dc1a4a76e5b47fccb
parent721fb2418b2e76c57e550b2f3ecf1bfefa8529d9
Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
Makefile.am