X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2bc5ed226e9a0cba24f9d689754e1d62bb883d86..5543e924e43797dc352f5498438293606e0fd574:/Makefile

diff --git a/Makefile b/Makefile
index 8189d06..a509c0b 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
 
 mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
 	bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \
-	bin/smtplog
+	bin/smtplog bin/setsa
 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm src/domtool.cm
 
@@ -136,6 +136,11 @@ install:
 	cp scripts/domtool-addcert /usr/local/bin/
 	cp scripts/domtool-addacl /usr/local/bin/
 	cp scripts/domtool-rmuser /usr/local/bin/
+	cp scripts/domtool-admin-sudo /usr/local/bin/
+	cp scripts/domtool-server-logged /usr/local/bin/
+	cp scripts/domtool-slave-logged /usr/local/bin/
+	cp scripts/domtool-server /etc/init.d/
+	cp scripts/domtool-slave /etc/init.d/
 	cp openssl/openssl_sml.so /usr/local/lib/
 	-cp bin/domtool-server /usr/local/sbin/
 	-cp bin/domtool-slave /usr/local/sbin/