+src/setsa.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/setsa.mlb
+ echo "main-setsa.sml" >>src/setsa.mlb
+
+src/smtplog.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/smtplog.mlb
+ echo "main-smtplog.sml" >>src/smtplog.mlb
+
+src/mysql-fixperms.mlb: src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/mysql-fixperms.mlb
+ echo "main-mysql-fixperms.sml" >>src/mysql-fixperms.mlb
+
+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
+