Added MACHINES to EXTRA_DIST so that it gets put in the distribution.
[mmh] / docs / COMPLETION-BASH
2012-02-05 David LevineAdded error message if the file is source directly...
2005-05-18 Oliver Kiddleadd bash completion definitions from Debian