X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/de7fde3da2abb20767042276f24aae79c5925f95..8ae99fef280e495fb50d3d5ef7df06b6b9c1ecfa:/Makefile

diff --git a/Makefile b/Makefile
index 036f5fa..b81232c 100644
--- a/Makefile
+++ b/Makefile
@@ -85,6 +85,8 @@ bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
 
 install:
 	cp scripts/domtool-publish /usr/local/sbin/
+	cp scripts/domtool-reset-global /usr/local/sbin/
+	cp scripts/domtool-reset-local /usr/local/sbin/
 	cp openssl/openssl_sml.so /usr/local/lib/
 	cp bin/domtool-server /usr/local/sbin/
 	cp bin/domtool-slave /usr/local/sbin/