+src/fwtool.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/fwtool.mlb
+ echo "main-fwtool.sml" >>src/fwtool.mlb
+
+src/domtool-config.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/domtool-config.mlb
+ echo "main-config.sml" >>src/domtool-config.mlb
+
+src/domtool-portal.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/domtool-portal.mlb
+ echo "main-portal.sml" >>src/domtool-portal.mlb
+