+bin/mysql-fixperms: $(COMMON_MLTON_DEPS) src/mysql-fixperms.mlb
+ $(MLTON) -output bin/mysql-fixperms src/mysql-fixperms.mlb
+
+bin/webbw: $(COMMON_MLTON_DEPS) src/stats/webbw.mlb
+ mlton -output bin/webbw src/stats/webbw.mlb
+
+bin/quotas: $(COMMON_MLTON_DEPS) src/stats/quotas.mlb
+ mlton -output bin/quotas src/stats/quotas.mlb
+
+elisp/domtool-tables.el: lib/*.dtl bin/domtool-doc
+ bin/domtool-doc -basis -emacs >$@
+