another Makefile fix

Henry Cejtin henry@sourcelight.com
Wed, 3 Oct 2001 17:30:36 -0500


I have no strong objection to using make (instead of another shell file) to
makeing the .cm files, but I don't like `unreadable' make files, and I really
don't like DWIM voodoo which gets some cases right and some wrong.
Mind you, the latter might not apply, although that isn't clear to me yet.