Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
[mmh] / docs / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 8031 build_nmh
-rwxr-xr-x 14519 replyfilter