New file, service-proxy/Makefile, generates service-proxy-mike-mac.properties

diff --git a/tools/service-proxy/Makefile b/tools/service-proxy/Makefile
new file mode 100644 (file)
index 0000000..210ed47
--- /dev/null
+++ b/tools/service-proxy/Makefile
@@ -0,0 +1,11 @@
+MIKE = service-proxy-mike-mac.properties
+
+$(MIKE): service-proxy.properties Makefile
+       rm -f $@
+       sed 's/mkc-admin.indexdata.com/x.&:8181/g;s/,constraint,/,/;\
+s;localhost:8004;x.mkc-admin.indexdata.com/cgi-bin/pazpar2;' $< > $@
+       chmod 444 $@
+
+clean:
+       rm -f $(MIKE)
+