+src/domtool-slave.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/domtool-slave.mlb
+ echo "main-slave.sml" >>src/domtool-slave.mlb
+
+src/domtool-admin.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/domtool-admin.mlb
+ echo "main-admin.sml" >>src/domtool-admin.mlb
+
+src/domtool-doc.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/domtool-doc.mlb
+ echo "main-doc.sml" >>src/domtool-doc.mlb
+
+src/dbtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/dbtool.mlb
+ echo "main-dbtool.sml" >>src/dbtool.mlb
+
+src/vmail.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/vmail.mlb
+ echo "main-vmail.sml" >>src/vmail.mlb
+