cat src/prefix.cm src/sources >src/domtool.cm
MAKE_MLB_BASE := cat src/prefix.mlb src/sources src/suffix.mlb \
| sed 's/^\(.*\).grm$$/\1.grm.sig\n\1.grm.sml/' \
| sed 's/^\(.*\).lex$$/\1.lex.sml/'
cat src/prefix.cm src/sources >src/domtool.cm
MAKE_MLB_BASE := cat src/prefix.mlb src/sources src/suffix.mlb \
| sed 's/^\(.*\).grm$$/\1.grm.sig\n\1.grm.sml/' \
| sed 's/^\(.*\).lex$$/\1.lex.sml/'