+src/domtool-slave.mlb: Makefile src/prefix.mlb src/sources src/suffix.mlb
+ 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/' >src/domtool-slave.mlb
+ echo "main-slave.sml" >>src/domtool-slave.mlb
+