Doug's check for whether mh_profile.5 exists was bad -- it looked in the local
[mmh] / config / Makefile.in
1999-04-30 Doug MorrisInitial revision