Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
[mmh] / man / folders.man
1 .so man1/folder.1