+src/domtool-admin.mlb: Makefile 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: Makefile src/prefix.mlb src/sources src/suffix.mlb
+ $(MAKE_MLB_BASE) >src/domtool-doc.mlb
+ echo "main-doc.sml" >>src/domtool-doc.mlb
+