Report useful error message on broken file(1).
[mmh] / docs / DIFFERENCES_nmh_MH
2012-03-22 markus schnalkeMoved and renamed some documentation files.