+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
+
+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
+